From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: Q in intuitionistic math.
Date: 13 Nov 92 04:40:03 GMT
Reply-To: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Distribution: fj
Organization: Railway Technical Research Institute


$@>>K\!w?t3X2J%/%:%l(J

ryu$@;a[)$/(J

>  |$@$^$:!";d$O!"(J{0,1} $@$NItJ,=89g$,$A$g$&$I(J4$@$D$G$"$k!"$H$O8@$C$F$$$^$;$s!#(J

> $@!t$H$$$&$H0f>e$5$s$O$d$O$j8m2r$7$FG<F@$5$l$?$h$&$G$9$M!#(J
> $@!t$^$"!"M>7W$J$*@$OC$G$7$g$&$,!#(J

$@M>7W$J$*@$OC$@$h(J(^^;)
$@D>4Q<g5A$G$O(J{0,1}$@$NItJ,=89g$,#4$D$G$"$k$H(J
$@H=Dj$G$-$J$$$N!#(J
$@JL$KB>$NItJ,=89g$,$J$$$H$$$&$3$H$G$O(J
$@0f>e;a$NM}2r$O@5$7$$$N!#(J
$@$=$N$3$H$,D>4Q<g5A$G$OH=Dj$G$-$J$$$@$1!#(J
($@$=$l$7$+$J$$$3$H$r$$$&$N$K!"<B$OGXM}K!$r;H$C$F$k(J)

>  |$@@53N$K8@$&$H!"(JPow{0,1} = {{},{0},{1},{0,1}} $@$O0lHL$K$O@.$jN)$A$^$;$s!#(J

> $@$F$3$H$O!"CM#1$r$H$i$J$$$H$$$&$3$H$G$9$M!#(J
> x in {y|forall z , z in y -> z in {0,1}} <-> x in {{},{0},{1},{0,1}}
> $@$,CM#1$r<h$i$J$$$C$F$3$H$G$9$M!#$=$l$O$J$s$G$+$H$$$&$H(J
> z in y -> z in {0,1} $@$rK~$?$9(J y $@$,%?%"%"%"%/%5%s!V:_$k!W$+$i$8$c$"$J$+$C(J
> $@$?$C$1!)$H$$$&$N$,!"$=$b$=$b8@$$$?$+$C$?$3$H$G$9!#(J
> $@!t:G=i$C$+$i$3$&8@$($PNI$+$C$?$s$@!#(J

$@$?$/$5$s$J$s$+$J$$$h!#$=$l$3$=!V8m2r!W(J

> $@$G$9$+$i(J (2') -> (3) $@$NCM$,#1$K$J$i$J$$$h$&$K!V1'Ch!W$r3HBg$7$F$k$s$G(J
> $@$7$g!)!V6qBNE*$KCM$r(JV^$@&8$G7W;;$9$k!W$H$$$&N)>l$GOC$7$F$?$+$i!"F\DA4A$K(J
> $@$J$C$F$7$^$C$?$s$G$7$g$&$+!#(J

$@$"!"%o%+%C%?$h!#(J
$@MW$O!">ZL@$G$-$J$$$C$F$3$H$O!"8D?t$,0c$&%b%G%k$,$"$k$+$i$@$m$C$F(J
$@$$$$$?$$$o$1$G$7$g!#(J
$@$3$l$O!"$=$l$H$O0c$&$N!#(J
$@>e$N$h$&$J$3$H$O!"8EE5O@M}>e$G9M$($F$k$+$i!"D>4Q<g5A>e$^$G1dD9$7$?$i(J
$@%@%a$J$N!#(J
$@$H$3$m$GD>4Q<g5A$NN)>l$O!"!V6qBNE*$KCM$r7W;;$9$k!W$H$$$&N)>l$J$N!#(J
$@$I$&$bF\DA4A$@$J!#(J
($@$@$+$i!"<B$OD>4Q<g5A$G$O(JPow{0,1}$@$,$I$&$$$&%b%N$+(J
$@<($9$3$H$,$G$-$J$$H&$G$"$k!#(J)

>  |$@$b$7$b!"(JPow{0,1} $@$KBP$7$F(J ZFC $@$G$N$h$&$KG;EY$,Dj5A$G$-$?$H$7$F!"$=$NG;(J
>  |$@EY$,M-8B$N?t$K$J$k$3$H$^$G$o$+$C$?$H$9$k$H!"$=$l$,(J 4 $@0J>e$G$"$k$3$H$H!"(J
>  |5$@0J>e$G$O$J$$!"$H$$$&$3$H$+$i!"G;EY$O(J 4 $@$K7h$^$k$N$G$9$,!"$=$b$=$b(J ZFC 
>  |$@$GDj5A$9$k$h$&$K$OG;EY$,Dj5A$G$-$J$$$N$G$9!#(J

> $@$7$+$7(J E(Pow{0,1})=1 $@$J$i$P!"$$$/$i$J$s$G$bDj5A$G$-$=$&$J$s$G$9$,!"$=(J
> $@$&$O$J$i$J$$$_$?$$$G$9$M!#$G$b$=$&$9$k$H$d$O$j(J Ea=1 $@$H$J$i$J$$(J a $@$,%b(J
> $@%G%k$NCf$K$OB8:_$7$J$$!"$F$N$O!V$^$9$^$9%X%s!W$H;W$C$F$7$^$$$^$9$,!#(J

ZFC$@$G$J$s$GG;EY$,Dj5A$G$-$k$+$C$F$$$&$H(J
$@A*Br8xM}$,$"$k$+$i!#(J
IZF$@$G$OA*Br8xM}$O$J$$$N!#(J
$@A*Br8xM}$,$"$C$?$i!"GSCfN'$,$J$j$?$C$F(J
$@$9$Y$F%Q!<$K$J$C$A$c$&$+$i!#(J

$@!t$=$b$=$b!"$I$s$J=89g$G$b!"I,$:@0Ns2DG=$J<jB3$-$,$"$l$P(J
$@!t6lO+$7$J$$$h!#%^%C%?%/!#(J

> $@!t$*<j?t$r$*$+$1$7$F$*$j$^$9$,!"$^$"!"$3$l$b!V9=@.<g5A?t3X$NIa5Z$N$?$a!W(J
> $@!t$@$H;W$C$F$$$?$@$1$l$P!"!"!"(J

$@FbMF$+$i$9$k$H!"$H$F$b$=$&$O$*$b$($s$,!#(J(^^;)

$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
$@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
$@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
$@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J