# 보존 정리 ## 개요 **보존 정리**(Preservation Theorem), 또는 **형식 보존**(type preservation), 때때로 **진전과 보존**(Progress and Preservation)의 일부로 언급되는 개념은 프로그래밍 언어의 **형식 시스템**(타입 시스템)에서 매우 중요한 성질 중 하나입니다. 이 정리는 "형식이 지...
검색 결과
"귀납법"에 대한 검색 결과 (총 2개)
# 자연수 ## 개요 자연수는 수학에서 가장 기본적인 수 체계 중 하나로, **물체를 세거나 순서를 나타내는 데 사용되는 정수**입니다. 일반적으로 1부터 시작하는 경우가 많지만, 현대 수학에서는 0을 포함하는 정의도 널리 채택되고 있습니다. 자연수는 산술, 대수, 집합론 등 다양한 수학 분야에서 기초 자료로 활용되며, 교육 과정에서도 초등학교부터 체계적...