Re: my earlier post on this -
"There is some theorem of arithmetic" is probably equivalent to "arithmetic is consistent", which more or less falls with the second incompleteness theorem.
Although maybe we have the wrong idea about what arithmetic is ... at least from a natural language point of view?
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment