Исправлено определение поля.

Исправлено форматирование списка, оставлены только аксиомы.

Из определения исключены следствия из аксиом, такие как a \cdot 0 = 0, отсутствие
обратного элемента для нуля и т.п.