Constructivism (mathematics) 1970-01-01
Forcing (mathematics) 1970-01-01
Formal systems 1970-01-01
Independence results 1970-01-01
Large-scale mathematical formalization projects 1970-01-01
Logical expressions 1970-01-01
Logical positivism 1970-01-01
Logical truth 1970-01-01
Mathematical axioms 1970-01-01
Mathematical logic hierarchies 1970-01-01
Mathematical logic organizations 1970-01-01
Mathematical logic stubs 1970-01-01
Mathematical logicians 1970-01-01
Predicate logic 1970-01-01
Quantifier (logic) 1970-01-01
Mereology 1970-01-01
Proof theory 1970-01-01
Structuralism (philosophy of mathematics) 1970-01-01
Truth 1970-01-01
Absoluteness (logic) 1970-01-01