1. 要は繰り返しとなる述語を一つに括ったもので、倒置表現となることが多い。

요점은 반복이 되는 술어를 하나에 묶는 것으로, 도치 표현이 되는 것이 많다.

2. この観点では、数学的対象は述語論理の言語で表現された形式理論の公理を満たす実体である。

이 관점에서는, 수학적 대상은 술어 논리의 언어로 표현된 형식 이론의 공리를 채우는 실체이다.

3. チャーチは補足的な決定不可能の結果を証明し、ペアノ計算も一階述語論理も決定不可能であることを示した。

교회는 보완적인 결정 불가능의 결과를 증명해, 페아노 계산도 1층 술어 논리도 결정 불가능인 것을 나타냈다.

4. 代示理論では述語(例えば「人間」)が個々のもの(例えば全ての人間)の領域にどう及んでいるのかといった問題を扱う。

대시이론으로는 술어 (예를 들면 '인간')가 개개의 것 (예를 들면 모든 인간)의 영역에 어떻게 미치고 있는가 한 문제를 취급한다.

5. これらの節はどちらも,主語には定冠詞がありますが,述語である「霊」や「愛」に相当する語には定冠詞がありません。

이 두 구절 모두 주부에는 정관사가 있지만 술부의 “영”과 “사랑”에는 정관사가 없습니다.

6. ヨハネ 1章1節では二番目の名詞(テオス),つまり述語が動詞に先行しています。 その句は直訳すれば,「[テオス]であった,言葉は」となります。

요한 복음 1:1에서 두번째 명사(데오스) 곧 서술 명사는 동사 앞에 나옵니다—“그리고 [데오스]는 말씀이었다.”(and [the·osʹ] was the Word.)

7. メタ数学の研究が頂点に達したのは、一階述語論理による任意の文は論理的に妥当であるときに、そしてそのときのみ-すなわち、その文がその言語におけるいかなる構造においても真であるとき-導出可能である。

메타 수학의 연구가 정점으로 달한 것은 1층 술어 논리에 의한 임의의 문장은 논리적으로 타당할 때, 그리고 그 때만-즉, 그 문장이 그 언어에서의 어떠한 구조에서도 참일 때—도출 가능이다.

8. 時制 待遇法 尊敬 陳述イントネーション(진술억양) これを見る限り、北朝鮮でいう陳述性は叙法・時制といった述語の文法範疇とイントネーションという2つの要素が中心となっており、ソ連言語学における陳述性の定義とほぼ同様であることが分かる。

시간(시제) 계칭(상대 높임법) 존경(주체 높임법) 진술억양 이것을 보면 북한에서 규정하는 진술성이 서법, 시제와 같은 서술어의 문법범주와 억양이라는 두 가지 요소가 중심이 되어 있어 소련 언어학에서의 진술성의 정의와 거의 똑같다는 것을 알 수 있다.

9. 旧約[聖書]の言語においては......[エローヒーム](イスラエルの神を指して使われている)の複数概念が完全に放棄されていることは,特にこの語がほとんどいつも単数形の述語動詞を伴って用いられており,また単数形の形容詞的限定語を取るという事実により示されている。

“구약[성경]의 언어가 ··· (이스라엘의 하느님을 가리키는) [엘로힘]에서 복수 개념을 완전히 배제했다는 점은 특히 그 단어가 거의 예외 없이 단수 동사 술어와 결합하며, 수식어로 단수 형용사를 취한다는 사실로 드러난다.