mathematical statements

theory

judgement, assertion

hypothesis, consequence

axiom

assignment

definition (inductive, coinductive)

lemma

proposition/type (propositions as types)

theorem

proof/program (proofs as programs)

example, counterexample

conjecture, folklore

exercise

analogy

tautology

paradox

Last revised on March 26, 2023 at 12:38:13. See the history of this page for a list of all contributions to it.