AXIOM

[Math] Definition, Proposition, Axiom, and Theorem

Definition (정의) 용어 등의 뜻을 명확하게 정한 것. 용어 등에 대한 약속이므로 증명할 필요가 없음. 단, well-defined가 되어야 함. Proposition (명제) 참, 거짓을 분명하게 판단할 수 있는 "문장(statement)"이나 "식(expression)". (명확하고 객관적이어야 함.) Proposition은 참과 거짓으로 구분할 수 있는 statement의 추상적인 form이라고도 볼 수 있음. 때문에 statement라고도 쓰이는 경우가 있음. statement는 proposition보다 넓은 general term 임. 일상적 범용적 문맥에서도 statement는 사용되며 이 경우 참,거짓을 명확히 구분할 수 없을 수도 있음. statement는 "진술"이라고도 불림. ..