라틴어 'corollarium'(선물로 주는 작은 화환)에서 유래. 증명 끝에 '덤으로' 주어지는 명제라는 의미에서 '필연적 결과'로 발전.
[수학/논리]에서는 이미 증명된 정리(theorem)에서 직접적으로 파생되는 명제를 '계(corollary)'라고 함.
result는 일반적인 결과를, consequence는 종종 부정적인 결과를, corollary는 어떤 명제나 사실로부터 논리적으로 직접 도출되는 필연적인 결과를 의미함.
필연적 결과, 당연한 귀결 | [수학/논리] 계(系) |
대중의 신뢰 상실은 정부의 최근 스캔들에 따른 필연적인 결과이다.
이 정리에는 계산을 단순화하는 중요한 계(系)가 있다.
미국, 영국 음성 4종 확인