수학,math


대수적 구조: // algebraic_structure ? ...mv to 대수학?
군,group
환,ring
반환,semiring
체,field



증명,proof
추론 - inference(정보에 의거한) or deduction(연역적 방법에 의한)
derivation - w rr
가정,assumption
진술,statement WpKo 없음
명제,proposition
추측,conjecture - 옳다고 여겨지지만, 증명되거나 반증되지 않은 명제,proposition.
- 이상 논리,logic과 겹치는 내용 많음, 수리논리,mathematical_logic?
형식체계,formal_system








2. Sites/Bookmarks

수학용어 한글 ↔ 영문은 다음 사이트 참조
수학용어사전
http://www.kms.or.kr/mathdict/list.html




AKA mathematics
어원: mathesis (`정신 수양' 또는 `배움') → 그리스어 mathematikos → 라틴어 mathematica ([http]from)