Weil conjecture
standard conjectures on algebraic cycles
Beilinson conjecture
Mumford conjecture
geometric Langlands correspondence-conjecture
section conjecture
Sen's conjecture
axiom
definition
inductive definition
coinductive definition
theory
lemma
proposition/type (propositions as types)
proof/program (proofs as programs)
theorem
example
counterexample
folklore
conjecture
analogy
paradox
exercise
Last revised on May 31, 2022 at 07:24:45. See the history of this page for a list of all contributions to it.