Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Axiomatic Systems
Document related concepts
Mathematical model wikipedia , lookup
Brouwer–Hilbert controversy wikipedia , lookup
Mathematical logic wikipedia , lookup
Foundations of mathematics wikipedia , lookup
Proofs of Fermat's little theorem wikipedia , lookup
Foundations of geometry wikipedia , lookup
Zermelo–Fraenkel set theory wikipedia , lookup
Line (geometry) wikipedia , lookup
List of first-order theories wikipedia , lookup
Transcript
