Formal system은 논리학, 수학, 컴퓨터 과학 등에서 사용되는 용어로, 일정한 규칙과 기호에 따라 정의된 엄격한 체계를 의미합니다. 이는 단순히 '격식을 차린 시스템'이라는 일상적인 의미를 넘어, 모호함이 배제된 기호와 추론 규칙으로 구성된 논리적 구조를 뜻합니다. 예를 들어 수학의 공리계나 프로그래밍 언어의 문법 구조가 대표적인 formal system입니다. 일상적인 'formal(격식 있는)'이라는 단어의 의미와 혼동하기 쉽지만, 이 표현은 학술적이고 기술적인 맥락에서 '구조화된 논리적 틀'을 강조할 때 주로 사용됩니다. 따라서 비즈니스 환경에서 '격식 있는 절차'를 말할 때는 formal procedure나 formal process를 사용하는 것이 더 자연스럽습니다. 이 용어는 주로 학문적 토론이나 시스템 설계, 인공지능 연구 등에서 엄밀한 정의를 내릴 때 필수적으로 등장하는 표현입니다.