|
Related terms:
tarski
brouwer
axioms
axiomatic
intuitionism
intuitionistic
mathematical logic
principia mathematica
Wikipedia sources: Law of excluded middle Mathematical logic Philosophy of mathematics Context for words: van heijenoort |
|