모형 이론에서 절대 논리식(絶對論理式, 영어: absolute formula)은 모든 모형에서 참인 논리식이다.
1차 논리 언어 의 구조들의 모임 이 주어졌다고 하자. (예를 들어, 은 어떤 의 문장들의 집합 이 성립하는 -구조들의 모임일 수 있다.)
1차 논리 언어 의 문장 이 다음 조건을 만족시킨다면, 속에서 절대 문장(영어: absolute sentence)이라고 한다.
- 임의의 두 -구조 에 대하여, 이다. 즉, 에 속하는 모든 구조에서 동시에 참이거나 동시에 거짓이다.
1차 논리 언어 의 구조 이 주어졌다고 하자.
-논리식 가 개의 자유 변수 를 갖는다고 하자. 만약 다음 조건이 성립한다면, 가 -하향 절대 논리식(영어: downward-absolute formula)이라고 한다.
- 의 임의의 -부분 구조 및 임의의 에 대하여, 이다.
마찬가지로, 만약 다음 조건이 성립한다면, 가 -상향 절대 논리식(영어: upward-absolute formula)이라고 한다.
- 을 부분 구조로 포함하는 임의의 -구조 및 임의의 에 대하여, 이다.
집합론의 명제의 경우, 폰 노이만 전체 는 집합론의 언어 의 고유 모임 구조이다. 이 경우, -논리식 이 다음 조건을 만족시킨다면, 가 추이적 절대 논리식이라고 한다.[1]:117, Definition IV.3.1(2)
- 의 표준 추이적 모형 및 집합 에 대하여,