Det finns inte ett enda vedertaget synsätt på hur ett sådant axiomsystem skall se ut – olika teoretiker har framlagt skilda axiomuppsättningar .