Аксиоматический метод
Аксиоматический метод характеризуется тремя вещами:
- Формулировка исходных положений (аксиом) теории
- Явная формулировка логических средств (правил вывода), которые допускаются для последовательного построения (развертывания) этой теории
- Использование искусственных формальных языков для изложения положений (теорем) теории