Construction and study of formal mathematical languages. Definitions
of, and relationships between, the notions of "truth"
and "probability" of a formal sentence. Capabilities and limitations
of first-order languages. Alternative formal systems. Introductions
to model theory and the decision problem. Additional topics chosen by
the instructor.