> > なんだか格子暗号に近い気がする(;´Д`)
> > 二次元座標だけではなく立体の三次元
> > 更には物理的には表現できない四次元以上の多次元
> > それを宇宙と呼称しその宇宙オブジェクト間でANDやOR取るってことかな
> ｺﾋﾟｰしたものとANDとってどうするんだろうと思った(;´Д`)

たぶん論理検証器にかけるんじゃないかな？

命題Aが正しければ命題Bという結果が得られるはず

みたいなカット除去定理を多次元に適用できるように
公理体型を構築してるのかも(;´Д`)

https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%83%E3%83%88%E9%99%A4%E5%8E%BB%E5%AE%9A%E7%90%86
(;´Д`)

参考：2020/04/14(火)19時51分10秒