Estos axiomas se llaman "axiomas de efecto", y describen cambios ocasionados por una acción.