Kategorie:Mathematische Logik/Bemerkungen