수리철학 틀:이산수학·수리논리학 틀:20세기 이후 철학 수학의 확실성 불완전성 정리 임레 라카토슈 논리학 조건문 명제 소칼 사건 철학 관련 정보 틀:수학기초론 구성주의 실재론 자연수 틀:서양 철학사/현대 철학 조사선 이과