Stars of the first magnitude are the brightest. 第一等級的星是最明亮的。
In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值謂詞邏輯中引入了一階語言的一類特殊解釋，該類解釋中的解釋域取為非空有限集。
Through the intensional interpretation, first-order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter. 比之於外延語義的解釋，內涵語義的解釋使一階語言更接近於自然語言的語義，而且也使一階邏輯對各種題材真正保持了邏輯的中立性。
