Re: Godel proved maths inconsistent not incompleteness theorem

On Mar 17, 9:58 am, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

(Coincidentally, my next example to give him was, like yours,
'every Boolean algebra is isomorphic to a field of sets'. To me, it's
a beautiful theorem.

P.S. Though, that would be an example for ZFC, not ZF.

MoeBlee

.

Loading