🚀 go-pugleaf

$B>>K\!w?t3X2J$/$:$l$G$9!#(B

$B$^$?!":Y$+$$$H$3$m$G%P%0$C$F$7$^$$$^(B$B$7$?!#(B

In article <SATOSHI.92Dec14202116@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
$B!d(B    |$B!!$5$F!"7A<0<g5A$HD>4Q<g5A$H$r!"#Z#F#C$N%b%G%kFb$GHf$Y$F$_$l$P!"(B
$B!d(B    |$B!VA4ITO"7k$J0LAj6u4V!W$H!V0lHL$N0LAj6u4V!W(B
$B!d(B    |$B$KBP1~$9$k!#(B

$B!d(B   $B=EH"$N$9$_$r$D$D$/$h$&$G$9$_(B$B$^$;$s$,!"!VA4ITO"7k!W$H$$$&$N$H$O$A$g$C$H(B
$B!d(B   $B0c$&$N$G$O(B?

$B$"!"$I$&$b$9$_$^$;$s!#7A<0<g5A$NGSCfN'$,(B$B!"ITO"7k@-$K$"$?$k$3$H$O!"$o$+$C$?(B
$B$N$G$9$,!"$I$&$b!"0lHL$N0LAj$KBP$7$F!"$I$&$$$&0LAj$r$H$k$H!"7A<0<g(B$B5A$N%b%G(B
$B%k$H$J$jF@$k$+$K$D$$$F!">/!9%-!<$,$9$Y$C$F$7$^$$$^$7$?!#$?$H$($P!"N%;60LAj(B
$B$@$H!"7A<0<g5A$N%b(B$B%G%k$K$J$j$^$9!#(B

  $B$"$H!"(BMeta theory$B$G!"%U%)%m!<$7$FD:$$$?!"%b%G%k$N9=@.K!$G!"(BV($B&8(B)$B$,8EE5(B
$BO@M}$G$D$/(B$B$i$l$k$H$$$&$N$O!";d$bG'<1$7$F$*$j$^$9!#D>4Q<g5A$N%b%G%k$r!"$I(B
$B$N$h$&$K9=@.$7$h$&$H!">ZL@$G$-$k$3$H!"(B$BG$0U$N%b%G%k$G??$G$"$k$3$H$NFbMF$K(B
$B$O1F6A$7$J$$$H$$$$$?$+$C$?$o$1$G$9!#(B
($B$3$s$J$3$H!"$o$6$o$6$$$o$J$/(B$B$F$b!"$"$?$j$^$($G$9$,(B^^;)

    |$B!!C]Fb$NK\$G$O!"D>4Q<g5A$N@-<A$O!"%b%G%k$X$NBP1~$K$h$C$F!"0LAj6u4V$N(B$B@-<A$H$7$F(B
    |$B2r<a$5$l$k!#D>4Q<g5A$K$OB>$K!"(BBKF-$B2r<a$H$+!"<B8=2DG=@-$K$h$k2r<a$,$"$k$,!"$=$l(B

$B!d(B   $B$($($H!"$3$N(B BKF $B$H$$$&$N$O(B BHK $B$N$3$H$G$9$+(B? $B$=$&$$$&8F$SJ}$b$"$C$?$+(B
$B!d(B   $B$J(B? $B$=$l$H$bJL$N$b$N$G$7$g(B$B$&$+(B? $B$"!"$R$g$C$H$9$k$H!"(BBeth-Kripke $B$+$J(B? 
$B!d(B   $B$9$k$H;D$j$N(B F $B$O2?$@$m$&(B?  Forcing $B$+$J(B?

$B$9$_$^$;(B$B$s!#(BBHK(=Brouwer-Heyting-Kolmogorov)$B$N8m$j$G$9!#(B
$BM>7W$J5$$r2s$5$;$F$7$^$C$?$h$&$G$9$M!#(B
$B$d$O$j!"IaCJ;H(B$B$o$J$$8@MU$O!"4V0c$$$d$9$$(B(^^;)

    |$B$>$l$O!"0l1~FHN)$N$b$N$H9M$($?J}$,$h$$$h$&$@!#(B

$B!d(B   $B>/$J$/$H$b(B$B!"<B8=2DG=@-$O0LAj6u4V$NOC$H$OA4A3JL$@$H;W$C$F$$$$$H;W$$$^$9!#(B

$B$d$O$j!"$=$&$G$9$+!#(B
$B$J$K$+!"4XO"$,$"(B$B$k$+$H;W$$!"$$$m$$$m$H9M$($F$7$^$C$?$b$N$G!#(B

$B!d(B   $B$^$"!"%M%C%H%o!<%/$G$O$*8_$$=u$19g$$$H$$$&$3$H$G!#(B
$B!d(B   #fj.sci.math $B=u$19g$$1?F0!#(B<- $B$3$l$,8@$$$?$+$C$?$N(B :-)

fj.sci.math$B$b!"B830<N$F$?$b$N$G$O$J$$$G(B$B$9$M!#(B:-)