...This chapter gives a small informal theory for a language fragment including quantifiers in illustration. The discussion in subsequent chapters takes place, then, in this new framework in which the axioms of the theory are either reference axioms or satisfaction axioms. The chapter discusses also...