Logik und Mengenlehre
摘要
1 Wenn wir heute ein mathematisches Argument prüfen, tun wir etwas, das Menschen schon vor über zweitausend Jahren beschäftigte: Wir fragen, ob der Weg von einer Aussage zur nächsten zwingend ist. Dieser Wunsch nach Sicherheit im Denken markiert den Beginn der Logik.