function field analogy
MKR analogy
rubber-sheet analogy of gravity
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
paradox
Last revised on March 5, 2023 at 13:36:04. See the history of this page for a list of all contributions to it.