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