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