Изменения

Теория множеств

85 байт убрано, 23:29, 14 января 2012

Нет описания правки

[[Лекция 9 | <<]][[Математическая_логика | >> На главную ]]

~~[[Категория: В разработке]]~~

[[Категория: Математическая логика]]

~~= Теория множеств. =~~

Теория множеств строится поверх исчисления предикатов подобно формальной арифметике.

39

правок