5.5. Примеры формальных аксиоматических теорий