axiomatization

not defined yet