mathematical sociology
logicism
fundament
metamathematics
Gödel's incompleteness theorem
formal logic
logicomathematical
mathematicism
modal logic
mathematicality
Gentzenization
metamathematical
theorisation
mathematical logic
pure mathematics
pseudomathematics
constructivism
mathematicize
pattern theory
logic programming
metalogic
theorize
antiformalist
Zermelo-Fraenkel set theory
premised
scheme theory
theoretical
mathematicistic
structuralism
praxis
speculative philosophy
rationalist
antirationalist
theorizing
multitheism
rationalism
Comtism
predicate calculus
antiformalism
metatheory
relativism
metaphysical
formal science
applied mathematics
functional calculus
intratheoretical
applied math
interchangeable
symbol pushing
Organon