人类永远无法证明这个人看到的蓝色跟另一个人看到的蓝色是一样的，这个说法对吗？

问题在于“一样”和“证明”上。

举个例子，群（group）。

群的视角上，你能分辨

和

吗？显然不行。它们是同构的。但是这是同一个群吗？从集合论的视角来说不是。因为用具体的编码展开来之后，我们知道

，然后

，

本质上是一个二元运算，虽然写起来麻烦，但是差不多是一个包含了形如

形式的元素作为其唯一元素的集合。别的不说，

和

用某种纯集合的编码展开之后，里面使用到的大括号的数量都不...

https://daily.zhihu.com/story/9765689