axiom of extensionality
axiom of pairing
extensionality
axiom of infinity
axiom of union
axiom of choice
axiom of regularity
axiomatic system
equation
complement
symmetric difference
Grothendieck universe
double counting
forcing
equivocation
setoid
like terms
Cartesian product
negation
mathematical group
law of identity
parity
group
proof system
quotient set
intersection
valuation function
Zermelo-Fraenkel set theory
product
substitutivity
intuitionistic logic
natural deduction
consistency
equalizer
identity of indiscernibles
domain of discourse
paramodulation
contrary
axiom of countable choice
ring
algebraic structure
presemifield
axiom system
inequation
non-classical logic
polarity
absolute geometry
semifield
field axiom
spelling
group object
theory
axiom
superset
fixed set
material implication
class
set theory
Ockham algebra
Occam's Razor
Ockham's Razor
disjoint union
power-associative algebra
law of parsimony
principle of parsimony
alternative algebra
dialetheism
sequent
weakening
universe of discourse