News for hackers. Stuff that matters.
Re:How many real numbers exist? New proof moves closer to an... by ProfHewitt on Tuesday July 20, 2021 @11:34AM (#27895005)
Note that forcing and the independence results are only for 1st-order logic.

They do not work for theories that characterize mathematical

abstractions such as the Ordinals and Natural Numbers up to a

unique isomorphism.

See the following video:

https://www.youtube.com/watch?v=AJP1VL7shiI

There are no comments on this comment yet.