Set Theory & Logic Codexery

A source-cited reference to set theory & logic

Set Theory & Logic

Naive set theory · Natural transformation · Negation · New Foundations · Operation (mathematics) · Ordered pair · Partition of a set · Power set · Principle of explosion · Proof theory · Propositional logic · Quantifier (logic) · Quantifier elimination · Recursion · Reductio ad absurdum · Reflexive relation · Rice's theorem · Rule of inference · Russell's paradox

Frequently asked questions · How this site is sourced