内部协调的系统中存在着不能在该系统内部证明的命题，这个命题的证明需要到系统外证明的定律被称为（）

内部协调的系统中存在着不能在该系统内部证明的命题，这个命题的证明需要到系统外证明的定律被称为（）
正确答案：哥德尔不完全定律