vlsergey/infosec — pull request #312 by labdsf (2013-12-13 15:06:36+00:00)
Title: Исправлено определение поля.

Исправлено форматирование списка, оставлены только аксиомы.

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