Аксіом повна система

система несуперечливих аксіом, будь-які дві інтерпретації якої ізоморфні