philosophy
ontology
logos, Science of Logic
being, becoming
natural philosophy
philosophy of physics
foundations
mathematical logic
deduction system, natural deduction, sequent calculus, lambda-calculus, judgment
type theory, simple type theory, dependent type theory
collection, object, type, term, set, element
equality, judgmental equality, typal equality
universe, size issues
higher-order logic
set theory
foundational axioms
basic constructions:
material axioms:
structural axioms:
type theoretic axioms:
axioms of choice:
large cardinal axioms:
strong axioms
further
axiom of tight apartness
Edit this sidebar
Formalism is one of the classical schools of the philosophy of mathematics.
Last revised on April 5, 2020 at 21:07:48. See the history of this page for a list of all contributions to it.