axiomatizations 뜻
공리화 [일련의 공리 또는 자명한 진리를 기반으로 시스템 또는 이론을 만들거나 정의하는 과정].
axiomatizations는 어떻게 사용할 수 있을까요?
아래 예문들을 통해 다양한 상황에서 "axiomatizations"가 어떻게 쓰일 수 있는지 알아보세요!
예문
The mathematician's work involved the axiomatization of geometry.
수학자의 작업에는 기하학의 공리화가 포함되었습니다.
예문
The axiomatization of physics has been a long-standing goal of scientists.
물리학의 공리화는 과학자들의 오랜 목표였습니다.
예문
Axiomatization is an important step in the development of any formal system.
Axiomatization은 모든 형식 시스템의 개발에서 중요한 단계입니다.
axiomatizations 어원
그것은 '가치있는'을 의미하는 그리스어 'axios'와 '배운 것'을 의미하는 'mathēma'에서 유래합니다.
📌
axiomatizations: 핵심 요약
axiomatizations [ˌæksiəmətaɪˈzeɪʃənz] 용어는 일련의 공리 또는 자명한 진리를 기반으로 시스템 또는 이론을 생성하거나 정의하는 과정을 의미합니다. '수학자의 작업에는 기하학의 공리화가 포함되었습니다.'에서 볼 수 있듯이 수학과 과학에서 일반적으로 사용됩니다. Axiomatization은 모든 형식 시스템의 개발에서 중요한 단계입니다.
