1, Principes généraux de la logique de la quantification; 2, La langue-objet idéale; 3, La sémantique formelle; 4, Un système axiomatique; 5, Lois valides.