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.

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