• 正體: 型式理論;類型理論[電子計算機]