The marxian theories of value and exploitation axiomatised