Неаксиоматизируемость решеточно упорядочиваемых групп

В заметке показывается, что класс решеточно упорядочиваемых групп не может быть определим никакой системой аксиом первой ступени (хотя, конечно, является проективным классом).