🚀 go-pugleaf

$B3{$H$b$&$7$^$9!#(B

In article <lifo-1903960139360001@yhm0068.bekkoame.or.jp>
 lifo@bekkoame.or.jp (Takahiko Hayano) writes:
 >> $B$"$H$O!"%?%$%H%k$K!V?t3X4pACO@!W$H=q$$$F$"$k$b$N$r%+%?%C%Q%7$+$i(B
 >> $BFI$s$G$_$k$H$$$$$N$G$O!)(B
 >
 >$B$=$&$G$9$M!#?t3X$NB>J,Ln$KHf$Y$FAjBPE*$KJ88%$,>/$J$$(B($B$h$&$K(B
 >$B;W$($k(B)$B$N$G!"$=$&$$$&J}K!$b$H$l$=$&$G$9$M(B($BK\Ev$K(B? :-))$B!#(B
 >$B$G$b!"$3$l$>2&F;$H$$$&46$8$N;29M=q$b$J$$$h$&$J0u>]$J$N$G$9$1$I(B
 >$B$I$&$J$N$G$7$g$&(B?
 >$B!V?t3X4pACO@!W$N;29M=q$H$$$&$N$,GyA3$H$7$F$$$k$N$+$b$7$l$^$;$s$,!#(B

$B$?$H$($P!"!V2r@O3X!W$N;29M=q$rC5$=$&$H$9$k$H!"GyA3$H$7$F$$$F$&$^$/8+$D(B
$B$+$j$^$;$s$h$M!#!VHyJ,@QJ,3X!W$H$+!V4X?tO@!W$H$+!V%k%Y!<%0@QJ,!W$H$+$N(B
$B652J=q$rC5$;$P!"$$$m$$$m$H8+$D$+$j$^$9!#2r@O3X$r3X$S$?$$?M$O!"$^$:!"=i(B
$B5i%l%Y%k$G$OHyJ,@QJ,3X$r3X$s$G!"Cf5i%l%Y%k$G$O!"J#AG2r@O$H$+4X?t2r@O$H(B
$B$+$r3X$V$H$$$&I8=`E*$J%3!<%9$,!"$[$\!"$G$-$F$$$F!"%3!<%9$K$N$C$+$l$PCf(B
$B5i$^$G$O9T$1$k$h$&$K$J$C$F$$$^$9!#(B

$B!V?t3X4pACO@!W$G$bF1$8$3$H$G$9!#K\5$$G3X$S$?$$?M$O!"$^$:!"?tM}O@M}$N=i(B
$BJb$r3X$S!"$=$l$+$i!">ZL@O@!&%b%G%kM}O@!&=89gO@!&5"G<E*4X?tO@$H$$$C$?3F(B
$BJ,Ln$N652J=q$rFI$`$HNI$$$G$7$g$&!#(B

$B?tM}O@M}$N=iJb$r3X$V$?$a$N652J=q$H$7$F$*4+$a$J$N$O!"(B[1]$B$N(B Part A $B$G$9!#(B
Part B $B$K$O!"!VF~Lg=q$G$=$3$^$G$d$k$+!)!W$H;W$($kFbMF$^$GF~$C$F$$$^$9(B
$B$N$G!":G=i$O!"6=L#$N$"$k>O$r$D$^$_?)$$$9$kDxEY$G$$$$$G$7$g$&!#$A$J$_$K!"(B
[1]$B$O(B Undergraduate Text in Mathematics (UTM) $B$H$$$&%7%j!<%:$N0l:}$K$J$C(B
$B$F$$$^$9$,!"K\Ev$K(B undergraduate course $B$N652J=q$H$7$F;H$&$H!"FsG/%3!<(B
$B%9$K$J$C$A$c$&$G$7$g$&$M!#(B

$B$=$l$+$i!"?t3X4pACO@$N652J=q$rA*$V;~$K$O!"E/3X<T$N=q$$$?$b$N$OHr$1$k$N(B
$B$,L5Fq$G$9!#$I$&$G$b$$$$$3$H$r%/%I%/%IO@$8$F$$$F!"%F%/%K%+%k$K$O;($J5D(B
$BO@$r$7$F$$$k$b$N$,B?$$$G$9$+$i!#(B

 [1] H.-D. Ebbinghaus, J. Flum, W. Thomas: Mathematical Logic Second
    Edition, 1994, Springer-Verlag

				$B3{(B $B9@Lw(B@$B>pJs2J3X2J(B.$BM}3XIt(B.$BF`NI=w;RBg3X(B