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