News for hackers. Stuff that matters.

A comment on Hawking Hawking. Parent comment

Re:Hawking Hawking by syops on Monday April 12, 2021 @10:08AM (#26779616)
So the last sentence I made is false. The rest is correct, right?
[ Parent | on HN ]
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.

[ Parent | on HN ]