kalla den hufvudaxiomet för allenskild