formal logic
Cantorian
Cantorianly
derivationally
theorem
Platonic
Bell-Kochen-Specker theorem
cantorate
bilestone
no-ghost theorem
differential
calcular
Good
path integral formalism
theorematist
mathmo
logical proof
Platonesque
MRDP theorem
calculary
sigmatic
semiclassicality
lambda term
Riemann
Aristotelian logic
hedonistic calculus
moral arithmetic
constructivistic
mathemic
countertheorem
theoretician
pre-Platonic
hedonic calculus
utility calculus
central limit theorem
mathematical statement
devil's staircase
mathematically
ethic of reciprocity
symmetricity
conservative extension
neocriticism
many-valued logic
Platonism
Platonical
calculus of variations
logicism
adequal
cantorship
mathematical notation