Неизменно промахиваясь - Концептуальное математическое искусство.

From: falcao@lj Date: October 22nd, 2005 - 09:35 pm Re: Продолжаем фантазировать(я, правда, не специалист в (Link)

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

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

(Reply to this) (Parent)