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

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

См. Аксиоматический метод.