Posy McPostface
This is of great interest to me. It's my impression that every higher ordinal set has to be consistent with every lower one (Compactness theorem as you stated) for at the very least soft-determinism to be true. Otherwise, the landscape of mathematical logic seems awfully strange?WWGD said:The truth may not hold in sets with different "organization" , e.g., without Well-ordering.