способ построения научной теории в виде системыаксиом (постулатов) и правил вывода (аксиоматики), позволяющих путемлогической дедукции получать утверждения (теоремы) данной теории.