Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \ Введение в метаматематику (С. К. Клини, 1957) \ Проблемы оснований математики \ Некоторые основные концепции \
 

9.6.2.8.10.1.2.8. Системы объектов

 
Начало см. здесь.
Клини С. К.  Введение в метаматематику.
Пер. с англ., М.: изд-во Иностр. Лит., 1957, cc. 29 — 33.
9.6.2.8.10.1.2.8.1. Два метода введения систем объектов      9.6.2.8.10.1.2.8.2. Формальный аксиоматический метод
О натуральном ряде чисел в определениях параграфа 6 см. здесь.



Об 1 - 1 - соответствии см. здесь.





9.6.2.8.10.1.2.8.1. Два метода введения систем объектов      9.6.2.8.10.1.2.8.2. Формальный аксиоматический метод
  К началу данной страницы  
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \ Введение в метаматематику (С. К. Клини, 1957) \ Проблемы оснований математики \ Некоторые основные концепции \