These facts are not just computationally irreducible, they are logically irreducible.

• 这些数学事实不只是计算上的不可约，连逻辑上都不可约。