>>869
違います
数学基礎論の定理です