New Infinitary Mathematics - Vopěnka, Petr (2022)