Matematiğin kendini kodladığı yer: Her mantıksal formül benzersiz bir asal sayı çarpımına dönüştürülerek "hesaplanabilir" hale gelir.
Neden Önemli? Kurt Gödel, 1931'de bu yöntemi icat ederek "Bu önerme ispat edilemez" diyen matematiksel bir formül (paradoks) yarattı. Bu, matematiğin asla hem tamamen eksiksiz hem de tamamen tutarlı olamayacağını kanıtlayan Eksiklik Teoremi'nin temelidir. Aritmetiğin temel teoremi (her sayının tek bir asal çarpan dizilimi vardır) sayesinde elde edilen bu devasa sayıdan, formül kayıpsız olarak geri çözülebilir.