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