🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J
$@$b$m$K?t3XE*$JOC$G$9$N$G!"(Jfj.sci.math $@$K(J$@$b%/%m%9%]%9%H$7$^$9!#(J

$@$^$::G=i$K!"$_$J$5$s$,(J
	Fa $@!b(J Fb for $@"P#F(J -> $@#a!b#b(J
$@$H$+!"(J
	a = b	->	$@"O#F(J( $@#F(Ja $@!a(J $@#F(Jb $@!K(J
$@$H$+=q$$$F$*$i$l$k$N$O!"(J
	not (Fa <-> Fb) for $@"P#F(J -> $@#a!b#b(J
$@$H$+!"(J
	a = b	->	$@"O#F(J( $@#F(Ja <-> $@#F(Jb $@!K(J
$@$N$3$H$G$9$h$M!#$b$H$b$H$NEZ20$5$s$N5-;v$G$O(J
	a = b	->	$@"O#F(J( $@#F(Ja <-> $@#F(Jb $@!K(J
$@$N7A$G$7$?$+$i!#(J

$@$^$"!"0J2<$N;d$NOC$G$O!"$=$NJU$N$3$H$O$"$^$jK\<AE*$G$J$$$N$G$9$,!"0l1~(J
$@5-K!$r$O$C$-$j$5$;$F=q$-$?$$(J$@$N$G!#$G$O!"K\O@$KF~$j$^$9!#(J

In article <SHINGO.93Feb12175746@ipc02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:

 |In article <1l8nbt$29h@agate.berkeley.edu> kaneko@ICSI.Berkeley.EDU (Seiji Kaneko) writes:
 | |$@$+$M$3!w$R$?$A$G$9!#$^$@K\Bj$O$J$d$s$G$$$k$o$1$G$9$,!"(J
 | |> |Fa $@!b(J Fb for $@"P#F(J -> $@#a!b#b(J
 | |
 | |>$@$h$/J,$+$i$J$$$1$I!"CQ$rG&$s$G!"<ALd$7$^$9!#(J
 | |>$@>e5-$N<0$O!"(J
 | |>
 | |>a = b	->	$@"O#F(J( $@#F(Ja $@!a(J $@#F(Jb $@!K(J
 | |
 | |$@$3$N#2$D$,Ey$7$$$?$a$K$O!"$^$:BgA0Ds$H$7$F!"!V!a!W$N5U$,!V!b!W!"(J
 | |$@$=$N5U$bA3$j!"$H$J$C$F$$$kI,MW$,$"$j$^$9$,!"$3$3$G$O!V!a!W$H$+(J
 | |$@!V!b!W$N0UL#$=$N$b$N$rLdBj$K$7(J$@$F$$$k$?$a!">e5-$,@.$jN)$A$^$;$s!#(J
 |
 |$@$3$l$O(J
 |$@!V!a!W$H!V!a$G$J$$!W$N0UL#1>!9$H$$$&$h$j$O(J
 |$@!V$G$J$$(J$@!W$N2r<a$NLdBj$8$c$J$$$+$H$*$b$$$^$9!#(J
 |
 |  $@$?$H$($P!"D>4Q<g5AE*$J2r<a$r$9$l$P!"(J
 |$@!VA4$F$N(J F$@$K$D$$(J$@$F(J Fa=Fb$@$H$O$$$($J$$!W(J
 |$@$+$i$H$$$C$F(J
 |$@!V$"$k(J F$@$,$"$C$F(J Fa=Fb$@$G$J$$!W(J
 |$@$H$O$9$0$$$($J$$!#6qBNE*$J(J F$@$,I,MW$G$9!#(J

$@$H;W$&$G$7$g$&(J? $@$H$3$m$,0c$&$s$G$9$h!#$3$l$O$9$08@$($k$s$G$9!#6qBNE*$J(J 
F $@$,I,MW$@!"$H$$(J$@$&$N$O3N$+$K@5$7$$$G$9!#$G$b!"$=$&$$$&(J F $@$O$9$0$K:n$l(J
$@$k$s$G$9!#$G!"5U$O$?$@$A$K8@$($k$+$i!">e$N(J2$@$D$O(J$@F1CM$J$s$G$9!#(J

$@$=$l$h$j$bD>4Q<g5AO@M}$GLdBj$K$J$k$N$O!"(J
all F.(Fa <-> Fb) $@$H(J not exists F.not(Fa <-> Fb)
$@$,F1CM$+$I$&$+!"$G$9!#8e<T$O$b$A$m$s(J all F.not not(Fa <-> Fb)
$@$HF1CM$J$N$G!"A0<T$+$i8e<T$O$9$0=P(J$@$^$9$,!"8e<T$+$iA0<T$O0lHL$K$O=P$^$;(J
$@$s!#Nc$($P4JC1$J(J \Omega-set interpretation $@$GH?Nc$,:n$l$^$9!#(J ($@>Z(J$@L@$,(J
$@CN$j$?$$?M$O%a!<%k$J$j!"Ej9F$J$j$G%j%/%(%9%H$7$F2<$5$$!#(J)

$@$5$F!"OC$rLa$7$F!"(Jnot all F.(Fa <-> Fb) $@$+$i(J exists F.not(Fa <-> Fb)$@$r(J
$@F3$/$N$O$I$&$9$l$P$$$$$G$7$g$&!#$3$l$OLLGr$$%Q%:%k$J$N$G!"$9$0$K<oL@(J$@$+(J
$@$7$r$9$k$N$OLnJk$G$9$+$i!"(J^L $@$rF~$l$F$*$-$^$9$N$G!"$A$g$C$H9M$($F$_$F(J
$@2<$5$$!#>/$7%H%j%C%-!<$G$9$,(J$@!"5$$,IU$1$P$d$5$7$$$G$9!#(JEnjoy! :-)

$@Ez(J: Gx $@$r(J all F.(Fa <-> Fx) $@$GDj5A$7$^$9!#$9$k$H!"(JGa $@$G$9$,!"2>(J$@Dj$h$j(J 
not Gb $@$J$N$G!"(Jnot(Ga <-> Gb) $@$H$J$j$^$9!#=>$C$F(J exists F.not(Fa <->
Fb) $@$H$J$j$^$9!#(J

$@0J>e$N(J$@>ZL@$K$*$$$F!"GSCfN'$rMQ$$$F$$$J$$$3$H$OL@$i$+$G$7$g$&!#(J

$@$I$&$G$9$+(J?$@LLGr$$$G$7$g$&!#$G$b!">/!9%H%j%C(J$@%-!<$G$9$+$i!">>K\$5$s$,$3(J
$@$l$K5$IU$+$J$+$C$?$N$bL5M}$O$J$$$H;W$$$^$9!#$3$N$h$&$K(Jimpredicative $@$J(J
$@M}O@(J$@$G$O?'!9$H%H%j%C%-!<$J$3$H$,$G$-$F$7$^$$$^$9!#$b$A$m$s!">e$N>ZL@$G(J 
impredicative $@$JItJ,$H$$$&$N$O!"(JG $@$rDj5A$7$?$H$3$m$G$9!#(J

# impredicative $@$H$$$&8@MU$K$D$$$F$N2r@b$,$[$7$$J}!"$*$i$l$^$9(J?
--
			$@N6C+Bg(J$@3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)