Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Философия математики \ Математические объекты и математические системы \ Системы объектов (С. К. Клини) \

9.6.6.1.3.2. Формальный
аксиоматический метод ©

 
Начало см. здесь и здесь.


Определение рассматриваемых систем см. здесь.


К началу данной страницы  
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Философия математики \ Математические объекты и математические системы \ Системы объектов (С. К. Клини) \