axiom system
axiomatic system
axiomic
theory
theorem
axiom scheme
axiomatization
axiom schema
superintuitionistic
proof system
axiomatic
consistency
non-classical logic
axiomatically
philosopheme
propositional logic
axiom of choice
axiomatical
aspect-oriented
field axiom
sublogic
schematical
schematism
interchangeable
Nullstellensatz
axiomization
modal logic
schematic variable
completeness
central limit theorem
logicism
many-sorted logic
relevance logic
morphism
Zermelo-Fraenkel set theory
schema
Organon
term logic
structuralism
formal system
quantum logic
theorematist
direct system
Tauberian
domain of discourse
universal algebra
schematically
scheme
material implication
algebraic combinatorics