From: satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Q in intutionistic math.
Date: 5 Nov 92 08:03:59 GMT
	<1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
	<1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
Organization: Ryukoku Univ., Seta, Japan
In-reply-to: f51323@sakura.kudpc.kyoto-u.ac.jp's message of 2 Nov 92 07:43:26 GMT


$@>.NSAo(J@$@N6C+Bg3X$H?=$7$^$9!#@lLg$O(J($@B>$N$3$H$b$d$C$F$^$9(J$@$,<g$K(J)
$@D>4Q<g5AO@M}!&9=@.E*?t3X$H$=$N1~MQ(J($@FC$K7W;;5!2J3X$X$N1~MQ(J)$@$G(J
$@$9!#$"$^$j$K5DO@$,:.Mp$7$F$$$k$h(J$@$&$J$N$G!"@lLg2H$NN)>l$+$i0l(J
$@8@8@$o$J$/$F$O$$$1$J$$$H;W$$!"=P$F$-$^$7$?!#(J

In article <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:

 |In article <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
 |>$@$=$l$H!"(J{0,1}$@$r(JV^($@&8(J) $@$KKd$a9~$s$@$i!"$=$j$c$"!"ItJ,=89g$OL58B$K$"$j$d(J
 |>$@$7$^$;$s$+!)!J#4$D$8$c$J$/$F!K(J
 |
 |  $@;d$b:.Mp$7(J$@$?5-;v$r=q$$$F$7$^$C$?$h$&$G$9!#L58B$K$"$k$H$$$&N)>l$J$N$G(J
 |$@$9$M!#(J

$@$A$g$C$HBT$C$F2<$5$$!#L58B$K$O$"(J$@$j$^$;$s$h!#$^$:!"<!$,@.$jN)(J
$@$D$3$H$rCm0U$7$F$*$-$^$9(J:

$@D>4Q<g5AE*=89gO@(J IZF $@$K$*$$$F!"(J{0,1} $@$NItJ,=8(J$@9g(J X $@$G!"(J
{},{0},{1},{0,1}$@$N$I$l$H$b0[$J$k$h$&$J$b$N$OB8:_$7$J$$!#(J
$@$b$C$H@53N$K8@$&$H!"<!$N<0$,(J IZF $@$G(J$@>ZL@$G$-$k!#(J
not exists X (X subset {0,1} and X $@!b(J {} and X $@!b(J {0}
 and X $@!b(J {1} and X $@!b(J {0,1})

($@$3(J$@$3$G!"!V(Ja $@!b(J b $@$,0[$J$k!W$H$$$&0UL#$O!"(Jnot a = b $@$H$$$&$3(J
$@$H$G!"(Ja = b $@$N0UL#$O$b$A$m$s!"301d$,Ey$7$$!"(J$@$H$$$&$3$H$G$9!#(J
$@>e$NL?Bj$O!"=89g$N301d@-$rMQ$$$J$$$H>ZL@$G$-$^$;$s!#(J)
$@>ZL@$O4JC1$J$N$G!"N}=,LdBj$@$H(J$@;W$C$F$d$C$F$_$F2<$5$$!#(J
$@Fq0WEY$O(J10$@J,$G(J3$@5i$/$i$$(J :-)
$@=V4VE*$K!VEv$?$jA0!W$@$H$o$+$C$??M$O(J2$@CJ$/$i$$$+$J(J :-)

$@$3$NL?Bj$+$i$b$o$+$k$h$&$K!"(J{0,1} $@$NItJ,=89g$OL58B$K$OB8:_$7(J
$@$^$;$s!#(J

$@$7$+$7!"Cm0U$7$J$1$l$P$J(J$@$i$J$$$N$O!"(J{0,1} $@$NItJ,=89g(J X $@$,G$(J
$@0U$KM?$($i$l$?$H$-!"(JX $@$,>e$N(J4$@$D$N=89g$N$I$l$H$bEy$7$/$J$$$H(J
$@$9$k$H(J$@L7=b$9$k$o$1$G$9$,!"$@$+$i$H$$$C$F!"(J4$@$D$N$&$A$N$I$l$+(J
$@$KEy$7$$!"$H$O8@$($J$$$3$H$G$9!#!V$I$l$+$KEy$7$$(J$@!W$H8@$($k$?(J
$@$a$K$O!"6qBNE*$K$I$l$KEy$7$$$N$+$rH=Dj$7$F$_$;$k<jCJ(J($@<jB3$-(J)
$@$r;}$C$F$$$J$1$l$P$$$1$^$;$s(J$@!#$7$+$7!"$=$N$h$&$J<jB3$-$,$"$j(J
$@$=$&$K$J$$$3$H$O$o$+$k$G$7$g$&!#(J

$@$b$&0l$DCm0U$,I,MW$J$N$O!">e$N$3$H(J$@$+$i!"(J{0,1} $@$N$Y$-=89g$,M-(J
$@8B=89g$@$H$O$$$($J$$$3$H$G$9!#$b$A$m$s!"$3$l$O!"!VM-8B!W$NDj(J
$@5A$K$b$h$k$N$G(J$@!"!V6H3&I8=`!W$NDj5A$r<($7$^$9(J:

  $@!H=89g(J A $@$,M-8B$G$"$k$H$O!"$"$k<+A3?t(J n $@$,B8:_$7$F!"(J
  $@=89g(J {0,1,...,n-1} $@$+$i(J A $@$X$N(J1$@BP(J1$@$G>e$X$N<LA|(J f $@$,(J
  $@B8:_$9$k$3$H!I(J

$@$?$@$7!"$3$3$G!"<+A3?t$K$O(J 0 $@$b4^$a$F$$$^$9(J$@!#$^$?!"(Jf $@$,>e$X(J
$@$N<LA|$@$H8@$($k$?$a$K$O!"(JA $@$N>!<j$J85(J a $@$,M?$($i$l$?;~!"(Jf 
$@$K$h$C$F(J a $@$K$&$D$C$F$/$k(J$@85$,2?$G$"$k$+!"6qBNE*$K<($;$J$/$F(J
$@$O$J$j$^$;$s!#(J{0,1} $@$N$Y$-=89g$,M-8B$G$"$k$H8@$*$&$H$9$k$H!"(J
$@$3$NDj(J$@5A$N$h$&$J(J n $@$H(J f $@$r6qBNE*$K<($5$J$$$H$$$1$^$;$s$,!"$=(J
$@$l$OD>4Q<g5AO@M}$NN)>l$G$O$G$-$^$;$s!#(J
  $@$@$+$i(J$@$H$$$C$F!"M-8B$G$J$$!"$H$$$&>ZL@$b$b$A$m$s$G$-$^$;$s!#(J
$@$J$<$J$i!"M-8B$G$J$$!"$H$$$&>ZL@$,$G$-$?$H$9$k(J$@$H!"(JZF $@$O(J IZF 
$@$r4^$s$G$$$k$N$G!"(JZF $@$NCf$G!"(J{0,1} $@$,M-8B$G$J$$!"$H$$$&>ZL@(J
$@$,$G$-$F$7$^$&$+$i$G$9!#(J

$@$^$H$a$^$9$H!"(JIZF $@$K$*$$$F!"(J
$@!&(J{0,1} $@$N$Y$-=89g$OL58B=89g$G$O$J$$$3$H$,>ZL@$G$-$k!#(J
$@!&$7$+$7!"M-8B=89g(J$@$@!"$H$$$&>ZL@$O$G$-$J$$!#(J

$@$*$o$+$j$$$?$@$1$^$7$?$+(J?

 |  $@$$$m$$$mFI$s$G$$$F!"$d$C$Q$jD>4Q<g5A$OIaDL(J$@$N?t3X$KLr$KN)$A$=$&$b$J$$(J
 |$@$J$H;W$$$^$7$?!#(Jformulate$@$K;M6lH,6l$7$?$@$1$N$h$&$J5$$,$7$^$9!#A0$K$b=q(J

$@$=$&$G$9$+(J? $@$^$"!"OB=q$G=P$F$$$kO@M}3X$NK\$O$?$$$F$$D>4Q<g5A(J
$@O@M}$KBP$7$FNdC8$J$N$G!"$=$&$$$&K\$r<g$K(J$@FI$^$l$?$J$i!"$=$&$$(J
$@$&46A[$r;}$?$l$k$+$bCN$l$^$;$s!#9=@.E*7?M}O@$NK\$J$s$+$rFI$^(J
$@$l$?$i$+$J$j0u>]$OJQ(J$@$o$k$H;W$$$^$9$1$I!#$3$l$O(J formulation 
$@$bHs>o$KH~$7$$$7!"D>4Q<g5AE*$JO@M}$G$"$k$HF1;~$K!"4X?t7?%W%m(J
$@%0%i%`$N7?M}O@$K$b$J$C$F$$$k$H$$$&LLGr$$$b$N$G$9!#(J

 |$@$-$^$7$?$,!"D>4Q<g5A!V$r!W8&5f$9$k$N$O$J$+$J$+LL(J$@Gr$=$&$G$9$,!"D>4Q<g5A(J
 |$@!V$G!W$d$C$F$$$/$N$O$$$d$G$9$M!#(J

$@47$l$l$P!"$=$s$J$K$$$d$J46$8$O$7$J$/$J$k$H(J$@;W$$$^$9$h!#D>4Q<g(J
$@5AO@M}$O47$l$l$P$H$F$b<+A3$G$9!#:G=i$O$7$-$$$,9b$$$H46$8$k$+(J
$@$bCN$l$^$;$s$,!#$^$"!"(J$@$3$l$O;d$N8D?ME*46A[$G$9!#(J

 |  $@$7$+$7!"$*$=$i$/(JBrower$@$H$$$&?M$O;d$H$OH?BP$K!"D>4Q<g5A!V$r!W8&5f$7$F(J
 |$@$$$k$3$NK\$N$3$H$rCN$C$?$i!"7cE\$9$k$s$8$c$J$$$+$J$"!#$H!"$U$H;W$$$^$7(J
 |$@$?!#$G$O$G$O!#(J

$@7cE\$9$k$+(J$@$I$&$+$OCN$j$^$;$s$,!"(JBrouwer $@$O$=$b$=$bO@M}<g5A$,(J
$@$-$i$$$@$C$?$N$G!"<+J,$NN)>l$OO@M}3XE*$KJ,@O$5$l$k(J$@$Y$-$b$N$@(J
$@$H$O;W$C$F$$$J$+$C$?$G$7$g$&!#O@M}<0$r;H$&$3$H<+BN9%$-$G$J$+$C(J
$@$?$h$&$G!"(Jnot not not A -> not A $@$J$s$F$$$&DjM}$b!"$o$6$o$6(J
$@D9$?$i$7$$J8>O$GI=8=$7$?$j$7$F$$$^$9!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs(J$@3X2J(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)