Date: May 3, 2012 5:05 PM
Author: Graham Cooper
Subject: Re: 10^7-ZFC

On May 4, 6:15 am, "Ross A. Finlayson" <ross.finlay...@gmail.com>
wrote:
>
> 3) Herc is here waiting for someone to comment on his "6 dead ends" of
> mathematics, no me I am working on "six parts of speech types for
> expressive programming", yesterday, in my sleep.  Herc, take out the
> axiom of infinity.  Maybe it's the wrong one, who are you to say?
> But, also your goto halts at 5.
>


Well spotted!

ZFC requires the axiom of infinity just to use a Natural Number.

It's really the Axiom Of Natural Numbers.

E(N) n e N <-> E(0) (0 e N) ^ (n e N)-> (S(n) e N)

Herc
--
-
1 X ^ NOT(X)
2 G = NOT(PRV(G))
3 S > INF
4 R = {X | NOT(X e X)}
5 IF NOT(HALT()) GOTO 5
6 ALL(F) MAX(F)
=
THE 6 DEAD ENDS IN MATHEMATICS
but only 4 are recognised contradictions