Dieses Buch stellt die mathematische Logik vom Kopf auf die Füße. Logische Annahmen, die in ihr nur unausdrücklich gemacht werden, macht es ausdrücklich. Es erklärt, warum sie als Theorie eines speziellen…