🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J

In article <1993Feb25.061700.18122@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:

 |>Kunen $@$NK\$K$b@5B'@-8xM}$OIaDL$N?t3X$K$O;H$o$l$J$$$,(J x$@&E(Jx 
 |>$@$N$h$&(J$@$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(J$@$c$J$$$+$H;W$C$F$$$^$7$?!#(J 

non-well-founded $@$J=89g$NB8:_$rF3$/$h$&$J8xM}$H$7$F$O!"(JAFA $@0J30$K$b?'!9(J
$@$J8xM}$,8&5f$5$l$F$$$k$h$&$G$9!#$/$o$7$/$O!"(J
    P.Aczel: Non-Well-Founded Sets ($@;VB<$5$s$,5s$2$F$$$?(J$@K\(J)
$@$r8+$F2<$5$$!#(J

ZF-like $@$G$J$/$F$bNI$1$l$P!"$3$&$7$?M}O@0J30$K$b!"(JFeferman $@$N(J function 
$@$H(J class $@$NM}O@$H$+!"(JP.Aczel $@$K$h$k(J Frege structure $@$NM}O@$H$+?'!9$"$j(J
$@$^$9!#$3$N(J2$@$D$K$*$$$F$O!"$9$Y$F$N(J object $@$r85$H$7$F;}$D=89g(J(universal
set) V $@$rDj5A$9$k$3$H$,$G$-$F!"EvA3$N$3$H$J$,$i!"(JV in V $@$,@.N)$7$^$9!#(J

Universal set $@$r;}$D=89gO@$K$D$$$F$O!"(J

    T.E.Forster: Set Theory with a Universal Set
                 ---Exploring an Untyped Universe
                 (Oxford University Press, 1992)

$@$H$$$&K\$b=P(J$@$F$$$^$9!#K\20$+$iFO$$$?$P$+$j$G$^$@FI$s$G$$$J$$$N$G$9$,!"(J
$@%Q%i%Q%i$a$/$C$?=j$G$O!"(JQuine $@$N=89gO@(J NF $@$H$+!"$=$N%P%j%(!<%7%g%s!"(J
Church $@$N=89gO@(J CUS($@$3$l$O=i$a$F8+$?(J) $@$J$s$+$N;v$,=P$F$$$k$h$&$G$9!#(J

$@B>$K(J$@$b!"JQ$o$C$?=89gO@$K$D$$$F$NJ88%$O?'!9$"$j$^$9!#6=L#$,$*$"$j$G$7$?(J
$@$i!"$$$/$D$+8f>R2p$G$-$^$9!#(J
--
			$@N6C+Bg3XM}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)