Gö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ü