basis
logicism
completeness
abstract universal
Titchmarsh convolution theorem
theorize
propositional calculus
deductive
math teacher
speculatist
sentential logic
Tauberian
zero-order logic
theorisation
mathematics teacher
deduction theorem
applicand
ternary logic
Boolean logic
posit
logical notation
compiler
Academy
guess
metaphysician
postulate
rationalizer
representation theorist
moralist
theorycrafting
Boolean algebra
axiom system
imparter
theorist
Aristotelian logic
interpretation
metalogic
Bell-Kochen-Specker theorem
prover
Kantism
Kantian
conceptionalist
determinablism
lambda term
theoremic