1. hadi be oradan dediğinizi duyar gibiyim. inanması güç, fakat öyle. tüm atlar aynı renk!

    (bkz: tümevarım yöntemi) ile ispatı deneyelim.

    n=1 için doğru. yani, ilk at kendisiyle aynı renktedir.
    n-1 için idda doğru olsun. yani, n-1 atın hepsi aynı renkte olsun.
    şimdi, ifadenin n için doğru olduğunu göstermemiz gerekiyor.

    n tane atın oluşturduğu küme a = {a1,a2,...an} olsun. a kümesi'nin bir alt kümesi olan ve yalnızca a1 elemanını içermeyen bir küme düşünelim ve bu küme n-1 tane at içerdiğinden hipotez gereği aynı renk olmalıdır. n-1 tane at içeren kümeden tek tek a2, a3, a3... atlarını da çıkarttığımızda elde ettiğimiz kümeler hipotezi sağlayacağından tüm atlar aynı renktedir.

    yanlış bir şey yok. ispat geçerli, sadece kabulde ufak bir kelime oyunu yaptım. "ilk at kendisiyle aynı renktedir." bu söz ile biz tüm renkleri aynı kabul ettik. beyaz = sarı = siyah = eflatun vesaire şeklinde. yani aslında bizim bu şekilde yaptığımız ispat "tüm atlar bir renge sahiptir." önermesini bir ölçüde karşılıyor.
  2. aynı formülü uyguladığımızda (bkz: bütün erkekler aynı) sözünü de doğrulamış oluyoruz böylece.

    not: hanım arkadaşlar tebriklerini özel mesajdan iletebilirler. (*:ehehe)