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.