chapter AFP
session Incompleteness = HereditarilyFinite +
description "The Incompleteness Theorems"
options [timeout = 1200]
sessions
Nominal2
theories
Goedel_I
Goedel_II
Loebs_Theorem
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-09-28]
