Неизменно промахиваясь - Post a comment

При построении NGB ухитрились построить конечную аксиоматику для теории множеств, где само число аксиом конечно (в отличие от ZF, где конечно лишь число схем аксиом).

В рамках NGB легко определяются натуральные числа (по фон Нейману), а принцип индукции для них следует как теорема (для любого предиката).