Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in
Von A wie Allquantor bis Z wie ZF-Axiom
