egyedi cselekvés axióma

Rövid szöveges bemutatás: 
Az egyedi cselekvés axióma, a cselekvéseinket rendszerezi, és kijelentéseket állapít meg. Ebbe az axióma csoport két részből épül fel. Először is explicit módon ki kell kötni, hogy különböző cselekvések nem egyenlőek (tehát hatásuk különböző). Ezután ki kell kötni, hogyha van két ugyan olyan cselekvésem, melynek bemeneti paraméterei megegyeznek, akkor a két cselekvés megegyezik (tehát hatásuk ugyan az).