Определение «Формальный аксиоматический метод» по БСЭ: Формальный аксиоматический метод - см. Аксиоматический метод.
Формальная система Формальный аксиоматический метод Формальный язык