Normalformen; Identität und Kennzeichnung; Theorien und definitorische Theorie-Erweiterungen; Kompaktheit; Magische Mengen; Fundamentaltheorem; Analytische und synthetische Konsistenz; Unvollständigkeit und Unentscheidbarkeit