Baruch Spinoza
reference
reflexive
Reflexivity
Knowledge Representation and Reasoning
Reductio ad absurdum
developer
Farzad Bathaei
syllogism
enthymeme
Justified True Belief
Necessitist
Necessitism
farewell
Brouwerian
Brown
Bertrand Russell
Hilbert's program
truth bearer
alethic
Brisbane
the greatest prime
Bozorgmehr Loghman
Universal Closure
parcel
pertaining
Baghdad
height
Causality
Modal Axiom D
Modal Axiom K
Axiom KP
Modal Axiom T
Axiom of Extensionality
Axiom of infinity
Axiom schema of separation
Axiom of pairing
Axiom of Empty set
Axiom of the power set
Axiom of choice
Axiom of the union
axiomatization
Heyting axiomatization
Kleene axiomatization
Kuratowski axiom set
Foundation for mathematics
Mathematical foundations
foundationalism
closed element
identity element
Zum Lewisschen Aussagenkalkül
Mars
boolean
The Completeness of the First-Order Functional Calculus
Affirming the consequent
completeness
Structural completeness
strong completeness
Semantic completeness
Syntactical completeness
implication fragment of R
pluralism
idempotency
Idempotency of entailment
Luitzen Egbertus Jan Brouwer
constructively
mathematical constructions
respectively
actualism
debate