! " # $ % " &
% ' % ! " ' & # ( ) " % ) * +" # , ! &
#
-
) +! & ! + " )) ) & ! . # , + & " ) # / " ! # 0+ % & ) + )# 0 . % " & # 1+ % & ) . %
. # 0 " *
# 0 & ) " . ' 2 & ) & # 3 ') & " %
# 4 % + & "+ ))" ) & .# , + & ) & " 2 & & # 0
! -# '% & ) ) ! 2 5# & + % ' 2 6# '% ') ) & ) ! 2 5
7# '% ) & " ') ) ) ! # , + + # , ))% + )) % *! "
& # 0 + . % + ) ' + 8 # 0 + . & & " . # , *! & )2 *! & . # / . 2 # 0
+
. % 8) + & ) ' !" . #
9 " * # 2 ) ! +' % + ! )&) ) ! # , +! +# ( " % + . & + % + # 6
, + # , % ! '
) # , % . " : % ! . & !
# ,
* ! ) " + ! "" !#
!
, " " % ; &
" %
+
+ " # 0 < = ->??" " !# = + @ ∀x∃yφ(x, y) ∃x∀yφ(x, y) + !* @
8
+! )# = " ! A B& 9& 9 ! & ! # 9 ' &" ))# , ! & . 9 B& # , +! ) -# = % B& 9
2 5# = + % " ; & ))2 7
6# 8
2 +! ∀x∃y(xRy & yRx) )+'2 7# &
@ @ .
8 +! # "
0 +! & ! + )" ) ) & ! . # , & 8 )) % +! +' : " '# 1 & ) # , + .2 ! ! 2 "
) ! ! # 0 ) + .& !# , & ! " . ) % % ! ' ) # 1 ! % )+' " ' +% : + . ) ! # 3 : ! % ! " ! # 1 & .' & ! " # C
, & % )" ' # , " & +!" ') + & 8 " # ; ! & ) # # $ " !
+! +! " & . )
# 1
"
') + " % " & # , % & # , ! )" % @ . )+' ) # , : " ! & # 0 " 2 & : ' # 0
)
" + 2 @ @ # , " ') +# ( ) ! -#
% ') 82 D
5# % ') * # , )
!8 . # E) ' # F *
')
))% "
% )) & %
))
% & & #
! # %" &
-# # ! $ % & # $ B B # ' ! $ ( ' ! ) # & ->>C# --G"-57##
5# * ) ) $ & # "
9 * ,!
') % A&% ->>G# 77"7>## 6# ' & # H" 5II-J5"6# DD"?6## 7# # $ # 1 = 9 5II-J6# 5C-"5?G## ?
C# # H % 5II7J5# D>"G-## # '
-# # E " + . A K# , % 5II7# 5# = < + & # H % 5II7J5# ->I"5I5## 6# , -. $ # # H % 5II7J5# -GG"-G>##
G
