「TMの会」 プログラム このウインドウを閉じる
/ 2014年 3月19日 / 

 

 ● TMD の読みかた

  「数学基礎論」 (「集合 (セット)」) の基本概念を説明しました。

   (1) 集合は並べられるか [ 選択公理、整列集合 ]

   (2) 「言語」 (記号列の集合) と 「モデル」 (記号列の関係)

   (3) 「理論」 {主題、条件1 ・・・、条件n} と 「論理」 {条件1 ・・・、条件n

   (4) 関数 f と関係 R [ 「関係」 を 「並び」 で表す ]

 

ページのトップ
 
  このウインドウを閉じる