topic entry on foundations of mathematics
This is an entryinprogress for a new topic entry on the foundations of mathematics.

1.
Syntax and semantics

2.
Set theory^{} and Classes
 3.
 4.

5.
Logic and Axiomatic theories
 6.

7.
Model theory^{}

8.
Proof theory: from axioms to results
 9.

10.
Theory of computation
Title  topic entry on foundations of mathematics 

Canonical name  TopicEntryOnFoundationsOfMathematics 
Date of creation  20130322 18:00:10 
Last modified on  20130322 18:00:10 
Owner  CWoo (3771) 
Last modified by  CWoo (3771) 
Numerical id  32 
Author  CWoo (3771) 
Entry type  Topic 
Classification  msc 0300 
Related topic  QuantumLogic 