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