[Mathematics for Computer Science] 스터디 05

Axioms

Axiom은 공리, 자명한 이치이다.

An axiom is a proposition that is assumed to be true, because you believe it is somehow reasonable.

Axiom 1. If a = b and b = c, then a = c. 우리가 아주 잘 아는 Axiom이다. A가 B이고 B가 C라면, A = C 이다.