> It may sound incredible, but no. Systems of extensional logic (involving
> propositions and their relations, and including theorems of science) are
> actually a subset of the natural numbers. So you have it backwards.
I must ask a technical question, and do we here mean the natural
numbers as in 1,2,3,4,5,..... or something broader like J, or R or C, or
some extension thereof?
Moreover, how are logical systems encoded by "natural" numbers.
I've heard of getting the natural numbers with predicated logic, but not
much more. I'm quite curious. I've been real hesitant to use Godel's
thm. in apologetics because I'm unfamiliar with this. It would be quite
useful.
Stephen