theorem
rationalizability
formal grammar
macrosyntactic
functionomic
cognitivism
logicomathematical
abuse of notation
definitive
empirical rule
Kruskal's tree theorem
symbolical
macrosyntactically
set-builder notation
quasimathematical
setting rule
mathematicality
symbolically
special function
mathsy
signific
symbolism
metamathematical
expression
interpretation
round bracket
truth
average
tribar
unequivocal
arithmetic average
expectation
linear function
mark
parenthesis-free notation
true
logification
mathematical statement
lexicology
physicomathematical
sentential logic
iconic
syntaxless
zero-order logic
quantifiability