Definition
[Math] Class: set and proper class (클래스와 집합)
Class, Proper Class, and SetClass집합론 (Zermelo-Fraenkel set theory)에서Class는 구별가능한 수학적인 객체 (distinctive object)의 collection을 의미함.(Set은 collection of distinctive objects라고 말할 수 있으나, 여기에 well-defined 를 추가해줘야 함.)object(객체)는 주로 숫자가 할당되나, 거의 모든 것이 될 수 있음.물리적인 객체나 event등에 숫자를 할당하고 이를 set으로 표현 가능.object는 거의 모든 것을 가르킬 수 있다. Well-defined란 명확하게 잘 정의되어 누구나 같게 해석할 수 있도록 엄밀히 정의됨을 의미함. 많은 조합론이나 집합론의 책을 보면, Rus..
[Math] Definition, Proposition, Axiom, and Theorem
Definition (정의)용어 등의 뜻을 명확하게 정한 것.용어 등에 대한 약속이므로 증명할 필요가 없음.단, well-defined가 되어야 함.Proposition (명제)참, 거짓을 분명하게 판단할 수 있는 "문장(statement)"이나 "식(expression)". (명확하고 객관적이어야 함.)Proposition은 참과 거짓으로 구분할 수 있는 statement의 추상적인 form이라고도 볼 수 있음.때문에 statement라고도 쓰이는 경우가 있음.statement는 proposition보다 넓은 general term 임.일상적 범용적 문맥에서도 statement는 사용되며 이 경우 참,거짓을 명확히 구분할 수 없을 수도 있음.statement는 "진술"이라고도 불림.Proposition..