informal axiomatics

Содержательная аксиоматика