【SEOテキスト】宇田雄一「古典物理学」⑨∀v,w∈F5;∀n∈N;∀x,y,z∈F4,n;∀m∈R({1,・・・,n});[【1】and【2】]⇒e7(v+w,z,m)【1】x(N3)+y(N3)=z(N3)and
x(N2,n)=z(N2,n)【2】e7(v,x,m)and e7(w,y,0)⑩∀v,w∈F5;∀r,s∈N;∀x∈F4,r;∀y∈F4,s;∀z∈F4,r+s;∀m1∈R({1,・・・,r});∀m2∈R({1,・・・,s});∀m3∈R({1,・・・,r+s});[【1】and【2】and【3】and【4】]⇒【5】【1】x(N3)+y(N3)=z(N3)【2】∀k∈{1,・・・,r};x(N1,k)=z(N1,k)and
m1(k)=m3(k)【3】∀k∈{1,・・・,s};y(N1,k)=z(N1,r+k)and m2(k)=m3(r+k)【4】e7(v,x,m1)and
e7(w,y,m2)【5】e7(v+w,z,m3)⑪∀r,s∈N;∀x∈F6,r;∀y∈F6,s;∀z∈F6,r+s;∀m1∈R(2×{1,・・・,r});∀m2∈R(2×{1,・・・,s});∀m3∈R(2×{1,・・・,r+s});[【1】and【2】and【3】and【4】]⇒【5】【1】x(N3∪N5)+y(N3∪N5)=z(N3∪N5)【2】∀k∈{1,・・・,r};x(N1,k)=z(N1,k)and
m1(k)=m3(k)【3】∀k∈{1,・・・,s};y(N1,k)=z(N1,r+k)and m2(k)=m3(r+k)【4】e8(x,m1)and
e8(y,m2)【5】e8(z,m3)
|
