Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Рекурсивная арифметика Р. Л. Гудстейна
\
9.6.4.8.6. Исчисление равенств
©
Начало см.
здесь
.
9.6.4.8.6.1. Определение доказательства
9.6.4.8.6.2. Свойства суммы
9.6.4.8.6.3. Свойства произведения
