그런데 제1성찰도 수학적 지식을 기반으로(ex: 전건긍정식, 연역논증 자체가 조건문이라는 점에서) 쓴 논증이라는 생각이 드는데, 이 논증이 이래도 유효한거야?