ABSTRACT
We analyze in what follows a few toy examples of theories and proofs of theorems in these theories. Later we will present the main example of theory in this course which is set theory (identified with mathematics itself). As usual the witness assignment in our languages will not be given explicitly.
