|
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.
|
|
|