Множество  является полем относительно бинарных алгебраических операций, обозначенных символами  (аддитивная операция) и  (мультипликативная операция).
Нейтральными элементами относительно указанных операций являются соответственно элементы  и  множества .
Элемент  есть элемент, противоположный элементу  относительно аддитивной операции поля, а элемент  является обратным элементом для элемента  () относительно мультипликативной операции поля.
Тогда аксиомой поля не является соотношение …