Template:Logicist group property

This article defines a property of a group (possibly with additional operations and structure) as viewed in logic/model theory