3 ms·
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
by ProfHewitt 5y ago
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 https://www.youtube.com/watch?v=AJP1VL7shiI