에전글을 읽고 궁금한게 있는데

[익명(118.235)]

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

[익명(175.192)]

이차논리로 환원하는 덴 성공했는데, 이차논리란 게 불완전(괴델 정리의 결과 중 하나라고 함)해서 이걸 진짜 논리로 봐야 하나 하는 논쟁이 있다는 게 들은 바.

[익명(123.99)]

러셀 프레게 찾아보면 간단히 나옴