La primera formulación establece que una acción es moralmente permisible si cada agente puede adoptar el mismo principio de acción sin generar una de los dos tipos de contradicciones.