비구성적인 증명방법이라는 이유로 거부한다고 하던데, 비구성적이라는게 무슨 말이죠? 아니면 처음부터 설명해주세요.
태그: 수학, 귀류법, 배중률, 수학기초론, 직관주의, 논리주의, 형식주의, 논리
