あるプログラミング言語の任意のソースコードを同じ動作をするように抽象化したら、元のソースコードと変わらない
そのプログラミング言語は機械語である
ゆえに機械語こそが最高に抽象化された言語である