TARSKI.miz

これから,$TARSKI.miz$を読み解いていきます。

まず,以下の環境部の記述があります。

environ
 vocabulary TARSKI;

これは,このarticleで,使われる,用語($vocabulary$)が $TARSKI.voc$というファイルに記述されている ことを宣言しています。

次の,$begin$の宣言からこのarticleの内容の記述 が始まります。

begin

 reserve x,y,z,u,N,M,X,Y,Z for set;

$reserve$はその後に続く,変数の型がなんであるかを示します。 この例では

$$x,y,z,u,N,M,X,Y,Z$$

は任意の集合$set$になっています。集合論では,取り扱う対象は 集合か,その要素ですが,集合も要素も,形式上は区別されません。 ですから,$set$というのは,任意の対象を意味しています。