>>923
>VBα+1=Map**(VBα,B)
このように定義したVBで
x=yの真理値はどう定義すべきかな
これと
x∈yの真理値を望ましく定義できればVBがboolean modelとなる
超限帰納的に定義するんだろうな
まず
x,y∈VB0=φ=0
は存在しないからOK
x,y∈VB1=Map**(φ,B)=Map*(φ,B*)={φ}={0}=1
は
x=y=0だから
0=0の真理値は1∈Bかな？
x∈y(=φ)の真理値は0∈Bかな？
x,y∈VB2=Map**(1,B)=Map*({0},B*)=Map({0},B*)∪Map(φ,B*)=Map({0},B*)={(0,b)|b∈B*}={0}×B*=1×B*
だから
x=(0,b),y=(0,c)
として
x=yの真理値はb∧c∈Bかな？
x,y∈VB3=Map**(1×B*,B)=Map*(1×B*,B*)
x∈Map(X,B*), X⊂1×B*
y∈Map(Y,B*), Y⊂1×B*
に対して
x=yの真理値は・・・・
うーんどうするんだろ？