Akademik

axiomatisiert

аксиоматизированный

Немецко-русский математический словарь. 2013.