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

Оглавление