🚀 go-pugleaf

  $@0f>e!wBg:eI\N)9b@l$G$9!#$$$m$$$mLLGr$$$3$H$rCN$k$3$H$,=PMh$F$H$F$b4r(J
$@$7$$$G$9!#EDJU$5$s3{$5$s;VB<$5$s$I$&$b$"$j$,$H$&$4$6$$$^$9!#(J

In article <SHIMURA.93Feb24213443@octopus.cst.nihon-u.ac.jp> shimura@cst.nihon-u.ac.jp (Shimura Tatsuya) writes:
>Kunen $@$NK\$K$b@5B'@-8xM}$OIaDL$N?t3X$K$O;H$o$l$J$$$,(J x$@&E(Jx 
>$@$N$h$&$JIBE*$J8=>]$rGS=|$9$k$?$a$K:NMQ$9$k$H$"$j$^$7$?!#(J

  $@$3$&$$$&>u67!J(Jx$@&E(Jx$@!K$,$"$k=89gO@$bLLGr$$$s$8$c$J$$$+$H;W$C$F$$$^$7$?!#(J 

In article <WD.93Feb24133655@hakobe.kurims.kyoto-u.ac.jp> wd@ics.nara-wu.ac.jp writes:
>  ZFC$@$+$i@5B'@-8xM}$rH4$$$F$=$N$+$o$j$K8xM}(JAFA(anti-foundation axiom):
>
>    $@G$0U$NM-8~%0%i%U!JL58B%0%i%U$r4^$`!K(JG $@$KBP$7$F!"$=$N@a$N=89g$r(J
>    $@Dj5A0h$H$9$k<LA|(J d : node(G) $@"*(J V $@$G0J2<$N@-<A$r$_$?$9$b$N$,(J
>    $@$A$g$&$I$?$@$R$H$DB8:_$9$k!'(J
>
>        $@G$0U$N@a(J A $@$KBP$7$F(J d(A) = {d(B) | B $@$O(J A $@$N;R@a(J}
>
>$@$rIU$12C$($?$b$N$,(JZFC$@$KAjBPE*$KL5L7=b$G$"$k$3$H$OCN$i$l$F$$$^$9!#L58B(J

  $@$3$l$,;d$NCN$j$?$+$C$?$3$H$+$bCN$l$^$;$s!#(J

>$@%Q%9$+%k!<%W%Q%9$r;}$D%0%i%U$r9M$($l$P!"(JAFA$@$+$i":!>L58B9_2<Ns$NB8:_$,(J
>$@=P$F$/$k$N$O4JC1$G$9$h$M!#(J
>  AFA$@$N$&$l$7$5$OB?$/$N=89gJ}Dx<0$,2r$r;}$D$h$&$K$J$k$3$H$N$h$&$G$9!#(J
>$@$?$H$($P!"(JX = {X} $@$N2r$,0l0U$K7h$^$k$3$H$O!"$R$H$D$N@a$H$=$3$+$i<+J,<+(J
>$@?H$X$NJU$@$1$+$i$J$k%0%i%U$K(JAFA$@$rE,MQ$9$k$H!"$9$0$K=P$^$9!#$H$$$&$3$H(J
>$@$O!"=89gO@$K(JFA$@$r:NMQ$9$k$+(JAFA$@$r:NMQ$9$k$+$O!"":!>5"G<K!$H=89gJ}Dx<0$N(J
>$@2r$NB8:_$H$I$A$i$,$&$l$7$$$+$H$$$&OC$K5"Ce$9$k$N$G$7$g$&!#(J
>  $@J9$$$?OC$G$O!"(JAFA$@$H$=$NJQ<o$O>u670UL#O@$K1~MQ$G$-$k$H$+$G!":G6a$h$/(J
>$@8&5f$5$l$F$$$k$=$&$G$9$,!";d$O>u670UL#O@$K$OL5CN$J$N$G$=$NJU$N>u67$O$o(J
>$@$+$j$^$;$s!#(J

  $@>u670UL#O@$H$$$&$N$O$I$&$$$&$b$N$J$N$G$7$g$&!#!J<ALd$P$C$+$j$@$J$"!K(J

-- 
================================== $@0f>e9@0l!wBg:eI\N)9b@l(J=====================
                   Phone : (0720) 21-6401 ($@Fb@~(J304)  Fax : (0720) 21-0134
                   E-mail: f51323@sakura.kudpc.kyoto-u.ac.jp
=========================================$@;d$O(Jmohta$@;a$K5wN%$r$*$$$F$$$^$9!#(J====