Аксиоматизация
Построение теорий на основе аксиом, утверждений, доказательства истинности которых не требуется
нобелевская премия