Представим всё общество в виде множества собственников, которые пользуются своей собственностью и взаимодействуют между собой, обмениваясь собственностью. 

    Модель имеет весьма наглядный графический вид и способна решать задачи дедуктивно как логические следствия аксиом. Полный тескт статьи по ссылке  - http://property-theory.ru