Разговор:Аксиома упаривања

Преведено са енглеског. Чини ми се да код њих има лапсус али нисам сигуран (треба неко да потврди)

• Случај n = 1 је аксиома упаривања за A = A₁ И B = A₁.
• Случај n = 2 је аксиома упаривања за A = A₁ и B = A₂.

зар прва тачка не би требало да гласи

• Случај n = 1 је аксиома упаривања за A = A₁ и A = A₁.

? -- Обрадовић Горан (разговор) 17:23, 14. фебруар 2009. (CET)

Па не, они су у праву. Аксиома упаривања каже

$\forall A\,\forall B\,\exists C\,\forall D\,[D\in C\iff (D=A\lor D=B)]$

односно да за свака два скупа A и B постоји скуп чији су елементи тачно A и B и ништа више.

Сад, значи, ако хоћеш да узмеш тврђење да за један скуп A₁ постоји скуп чији је елемент тачно A₁ и ништа више, и ако хоћеш то тврђење да видиш као специјални случај Аксиоме упаривања, онда мораш да наведеш шта ће бити A и B. Аксиома упаривања ти даје скуп чији су елементи тачно A и B и ништа више; значи, оно што теби треба је A = B = A₁. Ако узмеш неки други избор, у резултућејм скупу ћеш имати још неко смеће осим твог A₁.--Dzordzm (разговор) 05:18, 17. фебруар 2009. (CET)