反正公理系统的公理是不需要验证的，尤其是一个弄的时候就十分模糊的系统。。
要讨论这个问题，我们已知世界的尺度有所不足，但这个基本单元的尺度也许/可以远远大过已知世界
所以一边用少量公理推论，一边到是可以调整对公设的看法，比如你这个“基本单元”
其实在这个系统里是不可以明确的。