nonelementary system

Мат. неэлементарная система (аксиом)