2 ms·
No additional axioms are needed for the existence of these models. On the contrary additional axioms are needed in order to eliminate them, and even still no am
by Maxatar 1y ago
No additional axioms are needed for the existence of these models. On the contrary additional axioms are needed in order to eliminate them, and even still no amount of axioms can eliminate all of these extensions without introducing an inconsistency.