Revision of syntax of FOL. 
Semantics of FOL
Structure.
Example of  structure of natural numbers
EXamples of formulas from number theory 

Assignment functions S: Variables --> \universe

Extenstion of S to give meaning to terms, atomic formulas and wffs. 

