News for hackers. Stuff that matters.
Re:Hawking Hawking by ProfHewitt on Friday April 16, 2021 @11:34AM (#26835155)
Yes, the last statement that you made is indeed false, that is,

it is not the case that every true proposition is provable in

Dededkind's theory.

There are no comments on this comment yet.