Sorry there's a typo: On 3 April 2015 at 19:18, Keean Schupke <[email protected]> wrote:
> > Well, you _can_ prove set theory consistent by mapping it to Peano > arithmetic. As they are equivalent you cannot prove Peano arithmetic in set > theory, nor set theory in Peano arithmetic. Until Godel's "T", we just > assumed that natural arithmetic was intuitively complete and consistent. > Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
