수리철학 틀:이산수학·수리논리학 틀:20세기 이후 철학 수학의 확실성 명제 철학 관련 정보 조사선 실재론 수 임마누엘 이과 공리 0.999…=1 야코 힌티카 범주론 조건문 자연수 틀:수학기초론 임레 라카토슈 수학과 틀:논리학 존 메이너드 케인스 컴퓨터공학 컴퓨터공학과 수학 구성주의 틀:서양 철학사/현대 철학 불완전성 정리 논리학