Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
9.6.7. Пример одной аксиоматизации
Начало см.
здесь
.
9.6.7.4. Сигнатура акциональных универсумов
9.6.7.5. Аксиомы
