The following pages link to (Q5477991):
Displaying 9 items.
- An axiomatization of `very' within systems of set theory (Q1810816) (← links)
- On the formalization of theories (Q1945904) (← links)
- The GOEDEL program (Q1945913) (← links)
- Real set theory (Q1972505) (← links)
- On Bourbaki's axiomatic system for set theory (Q2263057) (← links)
- Rethinking Set Theory (Q2928636) (← links)
- A Model in Which GCH Holds at Successors but Fails at Limits (Q3991810) (← links)
- A Paradox Arising from the Elimination of a Paradox (Q5742354) (← links)
- Does mathematics need new axioms? (Q5890202) (← links)