Thursday, July 20 2000
Quiz 5
Name: _______________________________
A number that tells you how many names it
needs to form an atomic sentence. (FOL, p.12)
Yes, the same object can have different
names in Tarski's World and also in ours. (FOL, p.10)
Late 19th century: Dedekind (1888) and
Peano (1889). (Lecture 7/19/00)
By presenting a model for the axiom
system, i.e., an interpretation that satisfies all the
axioms. (Lectures 7/17-19).
Definitions, Axioms, Theorems, Inference
Rules. We have not discussed Inference Rules yet, but we will
in a few days!