ontology
logic programming
Scott's trick
natural deduction
sublogic
second-order logic
formal science
formal logic
mathematical logic
symbolic logic
theorem
NBG
rationalism
Zermelo-Fraenkel set theory
Schleiden
sorting
categorization
Vygotskian
M. J. Schleiden
classification
Matthias Jakob Schleiden
trait
Matthias Schleiden
categorisation
quasivariety
logic operation
universal algebra
logical operation
definitionism
type erasure
Zermelo-Fraenkelian
metalogic
Organon
mathematical sociology
theory-based
declarative programming
conservative extension
reason
blindly
algebraic K-theory
Zinbiel algebra
Boolean algebra
Boolean
Boolean logic
theoretical
Hindley-Milner type system
computronium
complete
syllogizer
algebraic variety
prelogic
syllogist
homotopy theory
syllogiser
modal logic
predicate logic
devissage
latticed
latticelike
fretted
anabelian geometry
stretch
fundament
spider diagram
interlaced
monadic second-order logic
Brauer group
biosemantics
set theoretically
literate programming
logicalize
stringifier
Grothendieck universe
decideable
Wettsteinian
logic diagram
premised
mathematics
concrete class
sketch
logical diagram
construction
Gentzenization
S
long-term memory
ergodic theory
mental synthesis
factory method pattern
anamorphism
Logos
class-based
heuretic
Descartes
Rene Descartes
theoretization
pseudorationalism
relativism