kaipa | Теория множеств на Java

Спасибо уважаемому френду

ivan_gandhi за ссылку на его изящную имплеменатацию теории множеств в аксиоматике Цермело-Френкеля с аксиомой выбора на Java: http://ivan-gandhi.livejournal.com/726465.html

Я восхищен. Нет, не то, чтобы это что-то очень сложное само по себе, но сама идея! Теория выводится способом, который я бы ждал от Пролога, но тут все на Джаве. Красота! Даже континуум "вывелся" естественным образом.

Интересно поэкспериментировать с разными аксиоматиками. Но сначала портировать на Скалу, должно получится раза в два короче.