Normalformen. Identität und Kennzeichnung. Theorien und Definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und Synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit | lit.salon