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

我在Kt用數學證明過的。能比較出大小的一定在有限的係統中。
至於是不是存在無限，就是信的問題。