Cuando las definiciones del usuario satisfacen un cierto "principio de definición" extienden la teoría con el correspondiente axioma de definición.