Fork me on GitHub
Math for the people, by the people.

User login

an outline of Hilbert's programme

Keywords: 
Axiomatic System, Formal Theory, Model
Synonym: 
Formalism, Metamathematics, Proof-Theory
Type of Math Object: 
Topic
Major Section: 
Reference

Mathematics Subject Classification

03A05 no label found03-01 no label found

Subscribe to Comments for "an outline of Hilbert's programme"