수학을 논리학으로 환원하고자 논리주의를 제창하던 학자들이 있었는데 괴델의 불완전성정리로 잘 안된다고 이해했는데 맞는거야?  지금은 또 바꼈는지도 궁금해  논리에 ㄴ도 몰라서 쉽게 설명좀 부탁할게.