axiomatization
redex
systematism
algebra
reductionism
formulation
schematisation
metafunction
systemizer
schematization
cutback
semon
axiom schema
intensional logic
axiom scheme
automaton
decreasement
monadic second-order logic
conversion
abstract language
simplification
axiom of choice
buttonology
downscaling
intuitionistic logic
hyperstructure
simplified expression
reduction
formulization
cropping
signal
deflexibilization
alias
rundown
translation
theory
abbreviation
example
lexicality
consistency
declension
schemist
Zermelo-Fraenkel set theory
theorem
decorrelator
decrease
diminution
step-down
rationalism
deduplicator
axiom of infinity
new wine in an old bottle
autodecrement
logical notation
calculus
systematist
organon
nomothetics
demystification
axiom system
derivation
miniabortion