Example image of eyePlorer eyePlorer map for 'Infinitary logic': Mathematical logic Ordinal Mathematical proof Statement First-order logic Continuum hypothesis Ω-logic Sentence (mathematical logic) Well-order Strongly compact cardinal Weakly compact cardinal Axiom of regularity Peano axioms Archimedean property Torsion (algebra) Predicate logic Carol Karp Jon Barwise Rami Grossberg Model theory Finitary Kripke–Platek set theory with urelements Axiom of determinacy Ω-consistent theory Skolem's paradox Logic
Disclaimer