{"/e/set-theory-and-logic/russell-s-paradox/": {"t": "Russell's paradox", "s": "A set-theoretic paradox showing that unrestricted comprehension leads to contradictions."}, "https://codexery.com/sets-and-logic/e/part-1/set-theory/": {"t": "set-theory", "s": ""}, "https://codexery.com/communication-and-media/e/part-1/natural-language/": {"t": "natural-language", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/set-mathematics/": {"t": "set-mathematics", "s": ""}, "https://codexery.com/mathematical-logic-and-computation/e/part-1/boolean-algebra/": {"t": "boolean-algebra", "s": ""}, "https://codexery.com/historical-figures/e/notable/georg-cantor/": {"t": "Georg Cantor", "s": "Founder of set theory and transfinite numbers"}, "https://codexery.com/mathematicians/e/part-1/gottlob-frege/": {"t": "gottlob-frege", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/cardinal-number/": {"t": "cardinal-number", "s": ""}, "https://codexery.com/historical-figures/e/notable/bertrand-russell/": {"t": "Bertrand Russell", "s": "English philosopher, logician, and social reformer"}, "https://codexery.com/sets-and-logic/e/part-1/zermelo-fraenkel-set-theory/": {"t": "zermelo-fraenkel-set-theory", "s": ""}, "/e/set-theory-and-logic/proof-theory/": {"t": "Proof theory", "s": "Proofs as formal objects analyzed by mathematical techniques."}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom-of-choice/": {"t": "axiom-of-choice", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/von-neumann-universe/": {"t": "von-neumann-universe", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom-of-extensionality/": {"t": "axiom-of-extensionality", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/empty-set/": {"t": "empty-set", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom-of-pairing/": {"t": "axiom-of-pairing", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/subset/": {"t": "subset", "s": ""}, "https://codexery.com/geometry-and-topology/e/part-1/algebraic-topology/": {"t": "algebraic-topology", "s": ""}, "https://codexery.com/mathematics-and-cryptography/e/part-1/saunders-mac-lane/": {"t": "saunders-mac-lane", "s": ""}, "https://codexery.com/geometry-and-topology/e/part-1/homology-mathematics/": {"t": "homology-mathematics", "s": ""}, "/e/set-theory-and-logic/operation-mathematics/": {"t": "Operation (mathematics)", "s": "A function combining elements of a set into another element."}, "/e/set-theory-and-logic/quantifier-logic/": {"t": "Quantifier (logic)", "s": "Operators specifying how many individuals satisfy a property."}, "/e/set-theory-and-logic/reductio-ad-absurdum/": {"t": "Reductio ad absurdum", "s": "Proof by contradiction: one of a mathematician's finest weapons."}, "https://codexery.com/mathematical-logic-and-computation/e/part-1/truth-table/": {"t": "truth-table", "s": ""}, "https://codexery.com/philosophical-concepts-and-theories/e/part-1/logical-consequence/": {"t": "logical-consequence", "s": ""}, "https://codexery.com/philosophical-concepts/e/part-1/contradiction/": {"t": "contradiction", "s": ""}, "https://codexery.com/computing-digital/e/part-1/computer-science/": {"t": "computer-science", "s": ""}, "/e/set-theory-and-logic/ordered-pair/": {"t": "Ordered pair", "s": "Ordered pair: a fundamental mathematical object with order significance."}, "https://codexery.com/historical-figures/e/scientists/willard-van-orman-quine/": {"t": "Willard Van Orman Quine", "s": "American logician and philosopher who developed naturalized epistemology"}, "https://codexery.com/sets-and-logic/e/part-1/type-theory/": {"t": "type-theory", "s": ""}, "https://codexery.com/classical-philosophy-rhetoric/e/part-1/principia-mathematica/": {"t": "principia-mathematica", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/well-formed-formula/": {"t": "well-formed-formula", "s": ""}, "/e/set-theory-and-logic/propositional-logic/": {"t": "Propositional logic", "s": "Branch of classical logic dealing with propositions and logical connectives."}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom-of-infinity/": {"t": "axiom-of-infinity", "s": ""}, "/e/set-theory-and-logic/naive-set-theory/": {"t": "Naive set theory", "s": "Informal set theory foundational to modern mathematics."}, "https://codexery.com/set-theory-and-foundations/e/part-1/cardinality/": {"t": "cardinality", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/cantor-s-theorem/": {"t": "cantor-s-theorem", "s": ""}, "/e/set-theory-and-logic/power-set/": {"t": "Power set", "s": "The set of all subsets of a given set."}, "https://codexery.com/combinatorics/e/part-1/bijection/": {"t": "bijection", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/ordinal-number/": {"t": "ordinal-number", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/transfinite-induction/": {"t": "transfinite-induction", "s": ""}, "/e/set-theory-and-logic/negation/": {"t": "Negation", "s": "Logical operation that inverts the truth value of a proposition."}, "https://codexery.com/classical-mechanics-and-dynamics/e/part-1/rotation/": {"t": "rotation", "s": ""}, "https://codexery.com/geometry-and-topology/e/part-1/cartesian-product/": {"t": "cartesian-product", "s": ""}, "https://codexery.com/pioneers-of-computing-and-information-th/e/part-1/norbert-wiener/": {"t": "norbert-wiener", "s": ""}, "https://codexery.com/mathematicians/e/part-1/felix-hausdorff/": {"t": "felix-hausdorff", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/union-set-theory/": {"t": "union-set-theory", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom-of-regularity/": {"t": "axiom-of-regularity", "s": ""}, "/e/set-theory-and-logic/new-foundations/": {"t": "New Foundations", "s": "A non-well-founded set theory conceived by Quine."}, "/e/set-theory-and-logic/recursion/": {"t": "Recursion", "s": "A process defined by reference to a simpler version of itself."}, "https://codexery.com/combinatorics/e/part-1/stirling-numbers-of-the-second-kind/": {"t": "stirling-numbers-of-the-second-kind", "s": ""}, "https://codexery.com/combinatorics/e/part-1/catalan-number/": {"t": "catalan-number", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom/": {"t": "axiom", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom-of-power-set/": {"t": "axiom-of-power-set", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/cantor-s-diagonal-argument/": {"t": "cantor-s-diagonal-argument", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/cardinality-of-the-continuum/": {"t": "cardinality-of-the-continuum", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/complement-set-theory/": {"t": "complement-set-theory", "s": ""}, "https://codexery.com/combinatorics/e/part-1/binomial-theorem/": {"t": "binomial-theorem", "s": ""}, "https://codexery.com/combinatorics/e/part-1/combination/": {"t": "combination", "s": ""}, "https://codexery.com/combinatorics/e/part-1/binomial-coefficient/": {"t": "binomial-coefficient", "s": ""}, "https://codexery.com/complexity-theory/e/part-1/theoretical-computer-science/": {"t": "theoretical-computer-science", "s": ""}, "/e/set-theory-and-logic/rule-of-inference/": {"t": "Rule of inference", "s": "Norms for deriving conclusions from premises in deductive logic."}, "https://codexery.com/european-scientific-pioneers/e/part-1/richard-dedekind/": {"t": "richard-dedekind", "s": ""}, "https://codexery.com/historical-figures/e/notable/david-hilbert/": {"t": "David Hilbert", "s": "German mathematician and philosopher of mathematics"}, "https://codexery.com/scientists-and-mathematicians/e/part-1/kurt-g-del/": {"t": "kurt-g-del", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/zorn-s-lemma/": {"t": "zorn-s-lemma", "s": ""}, "https://codexery.com/writing-systems/e/part-1/alphabet/": {"t": "alphabet", "s": ""}, "https://codexery.com/philosophical-movements-and-schools/e/part-1/stoicism/": {"t": "stoicism", "s": ""}, "https://codexery.com/historical-figures/e/notable/gottfried-wilhelm-leibniz/": {"t": "Gottfried Wilhelm Leibniz", "s": "German polymath and co-creator of calculus"}, "https://codexery.com/mathematicians/e/part-1/george-boole/": {"t": "george-boole", "s": ""}, "https://codexery.com/historical-figures/e/notable/charles-sanders-peirce/": {"t": "Charles Sanders Peirce", "s": "American scientist, mathematician, logician, and philosopher; father of pragmatism"}, "https://codexery.com/philosophers-thinkers/e/part-1/alfred-north-whitehead/": {"t": "alfred-north-whitehead", "s": ""}, "https://codexery.com/ethics-morality/e/part-1/question/": {"t": "question", "s": ""}, "https://codexery.com/literary-forms-tropes/e/part-1/citation/": {"t": "citation", "s": ""}, "https://codexery.com/languages-and-dialects/e/part-1/english-language/": {"t": "english-language", "s": ""}, "https://codexery.com/science-and-technology/e/part-1/meteorology/": {"t": "meteorology", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/universal-quantification/": {"t": "universal-quantification", "s": ""}, "https://codexery.com/algebra/e/part-1/quadratic-equation/": {"t": "quadratic-equation", "s": ""}, "https://codexery.com/languages-and-writing-systems/e/part-1/pronoun/": {"t": "pronoun", "s": ""}, "https://codexery.com/algebra/e/part-1/quadratic-function/": {"t": "quadratic-function", "s": ""}, "https://codexery.com/mathematical-logic-and-computation/e/part-1/decidability-logic/": {"t": "decidability-logic", "s": ""}, "https://codexery.com/mathematical-logic-and-computation/e/part-1/algorithm/": {"t": "algorithm", "s": ""}, "https://codexery.com/combinatorics/e/part-1/recurrence-relation/": {"t": "recurrence-relation", "s": ""}, "https://codexery.com/historical-figures/e/notable/noam-chomsky/": {"t": "Noam Chomsky", "s": "Father of modern linguistics and influential political critic."}, "https://codexery.com/historical-figures/e/scientists/dennis-ritchie/": {"t": "Dennis Ritchie", "s": "Co-creator of Unix and C programming language"}, "https://codexery.com/historical-figures/e/scientists/douglas-hofstadter/": {"t": "Douglas Hofstadter", "s": "Cognitive scientist, author of Gödel, Escher, Bach, and discoverer of Hofstadter's butterfly."}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiomatic-system/": {"t": "axiomatic-system", "s": ""}, "https://codexery.com/algorithms-and-data-structures/e/part-1/dynamic-programming/": {"t": "dynamic-programming", "s": ""}, "https://codexery.com/computing-digital/e/part-1/computer-programming/": {"t": "computer-programming", "s": ""}, "https://codexery.com/historical-figures/e/artists/m-c-escher/": {"t": "M. C. Escher", "s": "Dutch graphic artist known for mathematically inspired woodcuts, lithographs, and mezzotints.", "i": "https://codexery.com/historical-figures/img/artists/m-c-escher.webp", "c": "Hans Peters for Anefo · via Wikipedia: M. C. Escher · CC0"}, "https://codexery.com/christopher-nolan/e/works/inception/": {"t": "Inception", "s": "Your mind is the scene of the crime."}, "https://codexery.com/philosophical-movements-and-schools/e/part-1/ancient-greek-philosophy/": {"t": "ancient-greek-philosophy", "s": ""}, "https://codexery.com/mathematicians/e/part-1/g-h-hardy/": {"t": "g-h-hardy", "s": ""}, "https://codexery.com/historical-figures/e/notable/homer/": {"t": "Homer", "s": "Ancient Greek poet traditionally credited with the Iliad and the Odyssey"}, "https://codexery.com/legal-scholars-and-political-theorists/e/part-1/plato/": {"t": "plato", "s": ""}, "https://codexery.com/historical-figures/e/notable/aristotle/": {"t": "Aristotle", "s": "Ancient Greek philosopher and polymath, founder of the Peripatetic school."}, "https://codexery.com/hindu-and-buddhist-terms/e/part-1/buddhist-philosophy/": {"t": "buddhist-philosophy", "s": ""}, "https://codexery.com/buddhist-traditions-and-concepts/e/part-1/m-lamadhyamakak-rik/": {"t": "m-lamadhyamakak-rik", "s": ""}, "https://codexery.com/eastern-religions-and-philosophies/e/part-1/abhidharma/": {"t": "abhidharma", "s": ""}, "https://codexery.com/buddhist-concepts-and-schools/e/part-1/svabhava/": {"t": "svabhava", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/tautology-logic/": {"t": "tautology-logic", "s": ""}, "https://codexery.com/mathematical-logic-and-computation/e/part-1/halting-problem/": {"t": "halting-problem", "s": ""}, "https://codexery.com/mathematical-logic-and-computation/e/part-1/turing-machine/": {"t": "turing-machine", "s": ""}, "https://codexery.com/mathematical-logic-and-computation/e/part-1/computability-theory/": {"t": "computability-theory", "s": ""}, "https://codexery.com/philosophical-concepts-and-theories/e/part-1/formal-fallacy/": {"t": "formal-fallacy", "s": ""}, "https://codexery.com/mental-health-psychology/e/part-1/cognitive-psychology/": {"t": "cognitive-psychology", "s": ""}, "https://codexery.com/philosophical-concepts/e/part-1/inference/": {"t": "inference", "s": ""}, "https://codexery.com/philosophical-concepts/e/part-1/argument/": {"t": "argument", "s": ""}, "https://codexery.com/classical-philosophy-rhetoric/e/part-1/organon/": {"t": "organon", "s": ""}, "/e/set-theory-and-logic/principle-of-explosion/": {"t": "Principle of explosion", "s": "From a contradiction, any proposition can be inferred."}, "https://codexery.com/philosophical-concepts/e/part-1/fallacy/": {"t": "fallacy", "s": ""}, "https://codexery.com/mental-health-psychology/e/part-1/cognitive-bias/": {"t": "cognitive-bias", "s": ""}, "https://codexery.com/crime-justice/e/part-1/law/": {"t": "law", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom-schema-of-specification/": {"t": "axiom-schema-of-specification", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/axiom-schema-of-replacement/": {"t": "axiom-schema-of-replacement", "s": ""}, "https://codexery.com/historical-figures/e/notable/edmund-husserl/": {"t": "Edmund Husserl", "s": "Austrian and German philosopher who founded phenomenology."}, "https://codexery.com/computer-scientists-and-programmers/e/part-1/john-von-neumann/": {"t": "john-von-neumann", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/well-ordering-theorem/": {"t": "well-ordering-theorem", "s": ""}, "https://codexery.com/set-theory-and-foundations/e/part-1/class-set-theory/": {"t": "class-set-theory", "s": ""}, "https://codexery.com/sets-and-logic/e/part-1/skolem-s-paradox/": {"t": "skolem-s-paradox", "s": ""}, "https://codexery.com/philosophy-theory/e/part-1/tractatus-logico-philosophicus/": {"t": "tractatus-logico-philosophicus", "s": ""}}