Related terms:
zfc
peano
galois
brouwer
notions
axiomatic
deductive
set theory
isomorphic
commutative
proof theory
intuitionism
real numbers
associativity
constructions
david hilbert
van heijenoort
distributivity
natural number
identity element
mathematical logic
rules of inference
euclidean geometry
mathematical theorems
web ontology language
principia mathematica
incompleteness theorem
proof by contradiction
addition and multiplication
foundations of mathematics
Wikipedia sources:
Mathematical logic
Euclidean geometry
Projective geometry
Group (mathematics)
Theorem
David Hilbert
Abstract data type
Principia Mathematica
Infinitesimal
Topological space
Field (mathematics)
Mathematical proof
Metric (mathematics)
Boolean algebra (logic)
Category theory
Parsimony
Dianetics
Multiplication
Utility
Gottlob Frege
Boolean algebra (structure)
World view
Giambattista Vico
Falsifiability
Systematic theology
Absolute value
Decision theory
Ontology (information science)
Web Ontology Language
Law of excluded middle
Context for words:
axioms
|
|