Because it is a statement of number theory, we should
expect that, with some hard work, we could figure out how to translate the
sentence "00 is a MIU-number" into TNT-notation, in somewhat the same
way as we figured out how to translate other number-theoretical sentences
into TNT-notation.
Sayı teorisine ait bir ifade olduğu için, biraz çaba sarf ederek, "00 bir MIU sayısıdır" cümlesini, diğer sayı teorisi cümlelerini TNT gösterimine çevirdiğimiz gibi, TNT gösterimine nasıl çevireceğimizi de çözebileceğimizi beklemeliyiz.