Pages that link to "Organization:New Foundations"
From HandWiki
The following pages link to Organization:New Foundations:
Displayed 47 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Class logic (← links)
- Equivalent definitions of mathematical structures (← links)
- Implementation of mathematics in set theory (← links)
- Mathematical logic (← links)
- Stratification (mathematics) (← links)
- Universal set (← links)
- Universe (mathematics) (← links)
- Ordered pair (← links)
- Axiom schema (← links)
- List of first-order theories (← links)
- List of incomplete proofs (← links)
- List of mathematical logic topics (← links)
- Set theory (← links)
- Cantor's diagonal argument (← links)
- Cardinal assignment (← links)
- Class (set theory) (← links)
- Burali-Forti paradox (← links)
- Ordinal number (← links)
- Cardinal number (← links)
- Absolute Infinite (← links)
- Zermelo–Fraenkel set theory (← links)
- Scott–Potter set theory (← links)
- Constructive set theory (← links)
- ST type theory (← links)
- Morse–Kelley set theory (← links)
- Positive set theory (← links)
- Non-well-founded set theory (← links)
- Alternative set theory (← links)
- Axiom of choice (← links)
- Set-theoretic definition of natural numbers (← links)
- Axiom schema of specification (← links)
- Russell's paradox (← links)
- List of alternative set theories (← links)
- Philosophy:Foundations of mathematics (← links)
- Philosophy:Index of contemporary philosophy articles (← links)
- Philosophy:Philosophy of mathematics (← links)
- Philosophy:Index of philosophy of language articles (← links)
- Philosophy:Where Mathematics Comes From (← links)
- Philosophy:Logicism (← links)
- Biography:Frank Ramsey (mathematician) (← links)
- Biography:Václav E. Beneš (← links)
- Biography:Solomon Feferman (← links)
- Biography:Ernst Specker (← links)
- Biography:Ronald Jensen (← links)
- Biography:Willard Van Orman Quine (← links)
- Biography:Thomas Forster (mathematician) (← links)
- Software:Metamath (← links)
