Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Основания теории множеств \ Основания теории множеств (А. А. Френкель, И. Бар-Хиллел) \ Теоретико - типовые подходы \
 

9.6.4.12.1.3.9. Типы, категории и сорта

 
Начало см. здесь.
Френкель А. А., Бар-Хиллел И.
Основания теории множеств.
Пер. с англ., М.: Мир, 1966, cc. 206 — 209.
  К началу данной страницы  
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Основания теории множеств \ Основания теории множеств (А. А. Френкель, И. Бар-Хиллел) \ Теоретико - типовые подходы \