괴델이 발견한 불완전성 정리가



형식체계를 벗어난 우주의 논리 체계인 이데아적 순수 수학이 불완전 하다는거임?



아니면



우리가 사용하는 유한한 형식체계 내에서만 불완전 하다는 거임?



만약 후자라면 괴델의 논리를 확장해서



이데아적 순수 수학이 불완전하다고 할 수 있음??



아니면 이것조차 알 수 없는거임?