Q sayılabilir ve R ise sayılamaz kümeler. Bırakınız eş yapı dönüşümünü bunlar arasında (1-1) ve örten bir fonksiyon bile olamaz.
Evet doğrusu belirtmiş olduğunuz gibi "neden" olmalıdır.
f:Q→R bir izomorf olsun. O zaman f(ab)=abf(1) olacak. Izomorf demek, orten demek. Fakat burda πf(1)'in ters goruntusu yok. Celiski.