There are so many other unprovable theories when it comes to QWERTY.

说到QWERTY键盘，还有很多假设是没有被证。

Leonard, in the world of theoretical physics, you never finish; so much is unprovable.

莱纳德在理论物理世界你努力永无尽头，有多东西无法证明。

And today, some mathematicians dedicate their careers to identifying provably unprovable statements.

而今天，一些数学家将他们职业涯识别可证明无法证明陈述。

Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, that very process introduces new unprovably true statements.

即使你通过将这些无法证明陈述作为新公理添加到一个扩大数学系统中来解释这些无法证明陈述，这个过程也会引入新无法证明真陈述。