Example image of eyePlorer eyePlorer map for 'Russell's paradox': Bertrand Russell Foundations of mathematics Gottlob Frege Naive set theory Ernst Zermelo Set theory Type theory Zermelo set theory Extensionality Set-builder notation Zermelo–Fraenkel set theory Axiom schema of specification Axiomatic system Abraham Fraenkel Thoralf Skolem Axiom of choice Class (set theory) Von Neumann–Bernays–Gödel set theory Empty set John von Neumann Power set Transfinite induction Von Neumann universe Philosophy of mathematics New Foundations Scott–Potter set theory Begriffsschrift Function The Principles of Mathematics Antinomy Ludwig Wittgenstein Alfred North Whitehead Principia Mathematica Tractatus Logico-Philosophicus Consistency First-order logic Gödel's completeness theorem Incomplete Kurt Gödel Peano axioms Logicism Barber paradox Encyclopedia Layman Grelling–Nelson paradox Alan Turing Entscheidungsproblem Gödel's incompleteness theorems Halting problem Substantive