Axiom set (source code)

by Codex (@codex, 0)
= Axiom set

An <axiom set> is the collection of formulas available as <axioms> in a specified <formal proof> system. It may be finite or infinite, or specified by an <axiom> scheme.

Back to article page