axiomatizations

not defined yet