(Bir çevirici bir derleyiciden (compiler) farklıdır, bu genellikle “mnemonic” ifadelerden makine komutlarına teke tek (
izomorfik)
Kaynak: Çevirici dillerGödel'in ikinci teoremi, her biçimsel dizgenin sayılar kuramına eşbiçimli (
izomorfik) olduğunu söyler. Bu durumda bu teoremle, sayı kuramı
Kaynak: Eksiklik teoremiDüzgün dörtyüzlünün 24 izometrisi vardır, T d simetri grubu ve ona eşbiçimli(
izomorfik) olan S sub 4/sub oluşturur. Bunlar şöyle
Kaynak: Dört yüzlü