CEVAP:

Christensen’in karşı-örnekleri her iki beklentinin, yani (i) ile (ii)’nin, her zaman yerine gelmediğini ortaya koymaktadır. Christensen’in karşı-örneklerinden birini aşağıda açıklıyoruz. Bu karşı-örnekte aynı T teorisinin iki farklı aksiyomlaştırılması verilmektedir. Birincisinde H ile H1, ikincisinde ise H ile H2 aksiyomlarından oluşuyor. {H, H1} ile {H, H2} kümelerinin kapanışları birbirlerine eşittir. Bu kapanış ise T teorisini oluşturur. Buna göre karşı-örnek şöyle dile getirilir: Birinci aksiyomlaştırma İkinci aksiyomlaştırma (yukarıdaki örnek) E: {Za, Ya} E: {Za, Ya} H: ?x (Zx › Sx) H: ?x (Zx › Sx) H1: ?x (Zx › Yx) H2 : ?x [Zx › (Sx ? Yx)]