Normalformen. Identität und Kennzeichnung. Theorien und Definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und Synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Normalformen. Identität und Kennzeichnung. Theorien und Definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und Synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Details
- OL Work ID
- OL27379348W