Douglas Hofstadter, en su artículo “NOMIC: A Self-Modifing Game Base don Reflexivity in Law”, presenta un conjunto de ejemplos de situaciones paradójicas producidas por ciertas características autorreferenciales de la ley. Las situaciones problemáticas de este tipo pueden aparecer en cualquier actividad normada por un reglamento, como los juegos o cuerpos deliberantes, donde la legalidad de una jugada o una acción debe estar justificada por un reglamento inambiguo que pueda terminar efectivamente si la jugada o la acción es válida o no. Este trabajo toma intuiciones motivdas en ese trabajo y presenta una formalización que las incorpora. Algunos ejemplos muestran el comportamiento de la formalización propuesta.