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