New Infinitary Mathematics
Przemyślenie Cantora i matematyki nieskończonościowej przez twórcę zasady Vopěnka.
Dominujący nurt dwudziestowiecznej matematyki opiera się na klasycznej teorii zbiorów nieskończonych Georga Cantora, która z kolei opiera się na założeniu istnienia zbioru wszystkich liczb naturalnych, którego jedyne uzasadnienie - uzasadnienie teologiczne - jest zwykle ukrywane i spychane na dalszy plan.
Niniejsza książka analizuje teologiczne tło, powstanie i rozwój klasycznej teorii mnogości, ostrzegając nas przed niebezpieczeństwami ukrytymi w konstrukcji teorii mnogości, i przedstawia argument o absurdalności założenia o istnieniu zbioru wszystkich liczb naturalnych. Zamiast tego proponuje i rozwija nową matematykę nieskończoną, napędzaną ostrożnym wysiłkiem przekroczenia horyzontu ograniczającego starożytny świat geometryczny i matematykę poprzedzającą teorię mnogości, jednocześnie pozwalając matematyce bardziej odpowiadać otaczającemu nas światu rzeczywistemu. Na koniec omawia liczby rzeczywiste i pokazuje, w jaki sposób w ramach nowej matematyki nieskończonościowej rachunek różniczkowy może zostać zrehabilitowany w swojej pierwotnej formie wykorzystującej nieskończoności.