🚀 go-pugleaf

$@;VB<!wF|Bg$G$9!#(J

AFA (Anti-Foundation Axiom) $@$r;}$D=89gO@$K$D$$$F$NOC$G%0%i%U$N(J extensionality
$@$K$D$$$F$O!$4V0c$C$?$3$H$r=q$$$F$7$^$$$9$_$^$;$s!#$3$l$GKM$,(J Aczel $@$NK\$rA4A3(J
$@FI$s$G$$$J$$$3$H$,$P$l$F(J$@$7$^$$$^$7$?!#$G$b$3$l$,JY6/$K$J$k$s$@$J!#$A$J$_$K$3$N(J
$@<j$NK\$N3hMQ$NJ}K!$O<!$N$h$&$K$J$C$F$$$^$9!#(J


	$@#1!#!!$*$b$7$m$=$&$G0W$7$$K\$r8+$D$1$k!#Gv$/$F0B$1$l$PB(9o9XF~!#(J
	$@$[$H$s$I$N>l9g$OGv$/$F9b$$K\$P$+$j(J$@$@$1$l$I$b!$$=$N>l9g$b8eF|$K$D(J
	$@$$Gc$C$F$7$^$&!#(J
	
	$@#2!#!!(Jintroduction $@$H3F>O$NF,$NJ8>O$r$6$C$H8+EO$7(J$@$F2?$,=q$$$F$"(J
	$@$k$+$7$i$Y$k!#$3$N$H$-!$4V0c$C$F$b;f$H1tI.$r;}$A=P$9$3$H$O$J$$!#(J
	
	$@#3!#!!5!2q$"$k$4$H(J$@$K?M$K!V$3$&$$$&$*$b$7$m$$K\$,$"$k$h!W$H#2!#$G(J
	$@F@$?CN<1$r$$$$2C8:$@$H$$$&$3$H$,$P$l$J$$$h$&$K!$$&$^$/(J$@$4$^$+$7$F(J
	$@OC$9!#$3$N;~!$<B:]$K8=J*$r;}$C$F$$$-!$JG$r3+$$$F@bL@$9$k$N$O8@$&(J
	$@$^$G$b$J$$!#!J$3$N$?$a$K(J$@!$K\$rGc$&I,MW$,$"$k!#!K(J
	
	$@#4!#!!$[$H$s$I$N>l9g!$Aj<j$OCfL#$r$h$/CN$i$J$$$N$G46?4$7$FJ9$$$F(J
	$@$/$l$k!#(J$@$7$+$7!$@$$NCf$K$O1?0-$/!J1?NI$/!)!K$3$A$i$N8@$&$3$H$r40(J
	$@`z$KM}2r$9$k$^$G!$$7$D$3$/!JG.?4$K!KJ9$$$F$/(J$@$l$k?M$,$$$?$j!$$b$C(J
	$@$H1?0-$/!J$H$F$D$b$J$/9,1?$J$3$H$K!K6y!9$^$GFbMF$rCN$C$F$$$F!$$3(J
	$@$F$s$3$F$s$KO@(J$@GK$5$l$F$7$^$C$?$j$9$k!#(J
	

$@$3$N$"$H$N9TF0%Q%?!<%s$O#2DL$j$"$j$^$9!#(J


	$@#5(J-$@#1!#!V@$$NCf9-$$$b$N$@!#$b(J$@$&$9$3$7qY$7$N5;=Q$rKa$+$J$1$l$P!#$7(J
	$@$+$7$3$l$G$R$H$DMx8}$K$J$C$?!#!W$H$[$/$=$($s$G!$#3!#$KLa$k!#(J
	
	$@#5(J-$@#2!#!V$2$2$C!#$=$s$J$3$H$,=q$$$F$"$k$N$+!#!W$H6C$-!$$"$o$F$F2H(J
	$@$K5"$C$FEv3:2U=j$H$K$i$a$C$3$9$k!#(J
	

$@$3$NJ}K!$O!"0BD>$G$9$,D9$/B3$1$k$K$O$=$l$J$j$NEXNO!J!)!)!)!K$,I,MW$G$9!#(J

$@!t:#2s$O#5(J-$@#1$G$7$?!#$3(J$@$NDxEY$N$3$H$OF|>oCcHS;v!#(J
--
$@F|K\Bg3XM}9)3XIt?t3X2J(J
	$@;VB<(J $@N)Lp(J
tel:03-3259-0943 e-mail:shimura@cst.nihon-u.ac.jp