>>77

どういう意味？

それ自身が論理構造を持つUniverse間のマップで、一方の論理構造で真とされたものが、他方でも真になるかは、俺自身は常に保証されているものではないと思っている。
ここが明確にならないと、正しいなんて思えない。
単にブール代数の論理を基にその演算をこなすコンピューターで、ここの証明ができるとは思えない。それはAIも同じ。と、書いた。