This proposition is undecidable within the current mathematical system.

undecidable 是由前缀 un-（表示"不、非"）加上形容词 decidable（可判定的）构成的形容词。decidable 来自动词 decide（决定），加上后缀 -able（表示"能够...的"），所以 undecidable 意思是"无法判定的"或"无法决定的"。在数学逻辑中，指无法通过现有公理系统证明其真伪的命题。