message board: "untitled.gif welcome towards my cool internet house site"

re: counting S's sux

[29615] by "TOBOT NANOnymous" (h-68-165-24-61.phlapafg.dynamic.covad.net) on Sat 06 Dec 2003 08:04:50 [ reply ] [ up ]

ultrafinitists have seemingly contradictory axioms, i.e.

let N be the set of finite natural numbers, defined as follows:

(a) 0 is in N.
(b) forall n in N, n + 1 is in N.
(c) 2^1024 is not in N.

But the grate thing is that u cannot prove a contradiction because proof of 2^1024 in N using (b) and (a) will be bigger than the universe!!

re: counting S's sux