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