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