Sorunun bir sürü basit cevabı var, fakat ben de bir tane ilginç cevaptan bahsetmek istiyorum. ifadesini "b elemanlı bir kümeden a elemanlı bir kümeye yazılabilecek bütün fonksiyonların sayısı" olarak tanımlayalım.
Örneğin durumunda sadece bir tane fonksiyon var, o fonksiyon da sözlerle şu: hangi elemanı girdi olarak verirsen ver çıktım aynı olacaktır; sadece bir tane fonksiyonumuz olduğu için de deriz ki .
Başka bir örnek olarak da ve alalım. Kümelerimizin elemanlarını olarak alırsak yazabileceğimiz fonksiyonlar şunlar:
Burada her bir satır bir fonksiyona karşılık geliyor, ve elemanlar (girdi,çıktı) değerlerini gösteriyor. Örneğin 2. satırdaki fonksiyon şu özellikte: ve . Sonuç olarak görebileceğimiz gibi toplamda 8 fonksiyon var, demek ki .
Bu uzun açıklamadan sonra kontrol edebiliriz ki 'yi "b elemanlı bir kümeden a elemanlı bir kümeye yazılabilecek bütün fonksiyonların sayısı" olarak tanımlamak ilkokulda öğrendiğimiz her şeyle uyumlu. Artık asıl soruya dönebiliriz.
Şimdi durumunu inceleyelim: boş kümeden a elemanlı bir kümeye yazılabilecek fonksiyon sayısını bulmamız gerekiyor. Fakat böyle bir fonksiyonu asla kullanamazsınız, çünkü bu fonksiyonu çağıramazsınız; başka bir deyişle, bu fonksiyonunu olarak hesaplayabileceğimiz bir değeri yok (çünkü boş küme). Bu yüzden bu tarz birbirinden farklı fonksiyonlar tanımlamamız mümkün değil (fonksiyonları ayırt edemeyiz), bir tane böyle bir fonksiyon tanımlıyoruz (empty function), ve diyoruz ki durumu için ne olursa olsun ifadesi birdir:
Üstsel sayıları bu tarz kümelerle tanımlamamızın bir de bonusu var: yukarıdaki argüman durumu için de geçerli, yani direk diyebilirz ki .
Bu son ifadeye itiraz edip hayır tanımsızdır diyecekler çıkacaktır elbette, fakat bizim tanımımızla bu doğru değil, direk bir diyebiliriz. Matematiğin bir çok alanında da bu sonuç kullanılır(wiki'de detaylı açıklamalar var).
Son olarak ilginç bir şey daha ekleyeyim: bu bahsettiğim "asla çağırılamayan ve kullanılamayan" fonksiyon Haskell programlama dilinde absurd ismiyle tanımlı; gerçekten de kodunuzda bu komutu çağıramıyorsunuz :D