等级制非常合人的口味。但是一涉及等级制，就必定陷入有限。

我在Kt用数学证明过的。能比较出大小的一定在有限的系统中。
至于是不是存在无限，就是信的问题。