Образ (лат.).

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