News for hackers. Stuff that matters.

A comment on The Axiom of Choice Is Wrong (2007). Parent comment

Re:The Axiom of Choice Is Wrong (2007) by Tloewald on Monday February 06, 2017 @11:50AM (#13581281)
I'm being quite careful: 'consistent effectively axiomatized formal system' is implied by my use of the word 'proves'.
[ Parent | on HN ]

There are no comments on this comment yet.