Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Альфред Тарский
\
Логика и методология дедуктивных наук (А. Тарский)
\
Применение логики и методологии при построении математических теорий
\
9.6.3.1.2.7. Построение математической
теории: порядковые законы для чисел
Начало см.
здесь
.
Тарский А.
Логика и методология дедуктивных наук.
М.: Гос. изд-во иностранной литературы, 1948, cc. 207 — 222.
9.6.3.1.2.7.43a. Первичные термины строящейся теории
9.6.3.1.2.7.43b. Аксиомы, касающиеся основных отношений между числами
9.6.3.1.2.7.43a. Первичные термины строящейся теории
9.6.3.1.2.7.43b. Аксиомы, касающиеся основных отношений между числами
