Apeiron
Baruch Spinoza
reference
reflexive
Reflexivity
Knowledge Representation and Reasoning
Reductio ad absurdum
developer
Farzad Bathaei
syllogism
enthymeme
Justified True Belief
Necessitist
Necessitism
Ptolemy
farewell
alethic
Brouwerian
Brown
Bertrand Russell
Hilbert's program
truth bearer
Brisbane
the greatest prime
greatest lower bound
Bozorgmehr Loghman
Universal Closure
parcel
pertaining
Bestseller
Baghdad
height
Belgium
Causality
Modal Axiom D
Modal Axiom K
Axiom KP
Modal Axiom T
Principle of Explosion
Axiom of Extensionality
Axiom of Foundation
Axiom of infinity
Axiom of Replacement
Axiom schema of separation
Axiom of pairing
Principle of bivalence
Law of noncontradiction
principle of charity
Axiom of Empty set
Axiom of the power set
Principle of sufficient reason
Axiom of choice
Axiom of the union
axiomatization
Heyting axiomatization
Kleene axiomatization
Kuratowski axiom set
port
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
beaver
Birmingham
pluralism
Bill Clinton
idempotency
Idempotency of entailment
Luitzen Egbertus Jan Brouwer
constructively
mathematical constructions
respectively
actualism
debate