🚀 go-pugleaf

$B>>K\!w5$J,(B$B$O(Bfj.sci.logic$B$G$9!#(B

>>>>> On 2 Nov 1995 23:52:31 +0900, d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa) said:

 > $B$H$3$m$G$3$3$G$NOC$7$N:G=i$O(B
 > 	$B!V2>Dj$,56$J$i!"$I$s$J7kO@$G$bF3$1$k!W(B
 > $B$H$$$&7A(B$B$NJ8>O$K$D$$$F$N<ALd$+$i$G$J$+$C$?$+$H;W$&$s$G$9$,!"(B

"$BL7=b$+$i$O$I$N$h$&$JL?Bj$b>ZL@$G$-$k$N$O2?8N$+(B"
$B$H$$$&$3$H$G$7$?$M!#(B

$BL7=b$H$$$&$N$O!"56(B(False)$B$r>ZL@$G$-$F$7$^$&$3$H$H9M$($^$9!#(B
$B$"$kL?Bj$,>ZL@$G$-(B$B$k$H$-!"$3$l$HJL$NL?Bj$N(BOR$B$r$H$C$?$b$N$b(B
$B>ZL@2DG=$G$9!#(B
$B56$H!"G$0U$NL?Bj(BP$B$H$N(BOR$B$O!"L?Bj(BP$B<+?H$K$J$k$N$G(B$B!"L7=b$,>ZL@(B
$B$G$-$l$P!"G$0U$NL?Bj$,>ZL@2DG=$K$J$C$F$7$^$$$^$9!#(B

$B$H$3$m$G!"$3$l$G$OET9g$,0-$$$H$$$&$N(B$B$G!"L7=b$+$i$N>ZL@$r@)8B$9$k(B
$B$h$&$JO@M}$H$$$&$N$b!"9M$($i$l$F$$$k$h$&$G$9!#(B
"$BE,@Z$5$NO@M}(B"$B$J$I$O$=$N$h(B$B$&$J$b$N$G$9!#(B
($B$3$N$"$?$j$O!"?t3X$H$$$&$h$j!"(BAI$B$H$`$9$S$D$$$?O@M}3X$NHO0O$G$9!#(B
$B$b$C$H$b!"O@M}BN7O$O(B$B!"7A<02=$5$l$F$$$k$N$G!"$=$N$h$&$JE@$G$O(B
$B$"$$$^$$$J$b$N$G$O$"$j$^$;$s!#(B)

 >  $B:G6a9bLZDg<#$,$I$3$+$i$+(B$B0zMQ$7$F$-$?OC$7$r8+$D$1$^$7$?!J4dGH?7=q!V;d$N?.>r!W!K(B
 > B.$B%i%C%;%k$K$"$k?M$,!">e$NJ8>O$r0zMQ$7$F!"!V(B$B$=$l$J$i(B2+2=5$B$H$$$&L?Bj$+$i!"(B
 > $B$"$J$?$OK!2&$G$"$k$H$$$&L?Bj$,F3$1$^$9$+!)!W$H<ALd$7$?!#%i%C%;%kEz$((B$B$F[)$/(B
 > $B!V$=$l$J$i4JC1$@!#0lJ}$G(B2+2=4$B$@$+$i!"#4!a#5!"N>JU$+$i#3$r0z$/$H#1!a#2!#(B
 > $B$H$3$m$GK!2&$H;d(B$B$OFs?M$N?M4V$@$,!"#1!a#2$J$N$@$+$iN><T$OF1$80l?M$N?M4V!#(B
 > QED$B!W(B

$B;d$NJ9$$$?$b$N$O!"(BB.Russell$B$,!"(BG.Hardy($B@0?tO@$GM-L>(B)$B$K$J$C$F$$$F!"(B
Sheakspere$B$H!"(BMilton($B%$%.%j%9$N>.@b2H(B)$B$,!"F10l?MJ*$G$"$k$3$H$r(B
$B>ZL@$9(B$B$k$b$N$G$7$?!#(B