Картинки из квадратов \ Теоретико-множественная математика \

9.6. Логика и методология дедуктивных наук

Начало см. здесь.
9.6.1. Общая методология         9.6.2. Логика         9.6.3. Альфред Тарский
9.6.4. Основания математики         9.6.5. Математики - короли         9.6.6. Философия математики
9.6.7. "Акциоаналитика" (пример одной аксиоматизации)      9.6.8. Grundlagen der Musiktheorie (S. N. Furs, 2013 — )