User blog comment:KthulhuHimself/Norminals/@comment-26428969-20151030074722

if you allow a term to represent anything in any language, then your norminals can define english. Then, using english, they can define each other and aren't formal systems anymore :/