証明も反証もできない命題の存在を示したのが第一不完全性定理。
証明できないことが証明も反証もできない命題の存在を示したのが第二不完全性定理。