Up
3 理論
3.1 “理論”の意味
3.1.1 “理論”
3.1.2 推論，テクスト，定理，証明
3.1.3 テクスト変形としての“推論”
3.2 理論の定義
3.2.1 テクスト生成システム
3.2.2 文生成変形システムからのテクスト生成変形システムの標準的導出
3.2.3 理論
3.2.4 理論の構成
3.3 演繹，証明，定理
3.3.1 仮定からの演繹
3.3.2 証明，定理
3.4 簡約表現の導入(“定義")
3.4.1 簡約表現の導入
3.4.2 簡約表現とメタ表現
3.5 理論の例
3.5.0 イントロ
3.5.1 加法の理論
3.5.1.1 理論の定式化
3.5.1.2 証明の例
3.5.2 二進数の加算の等式理論
3.5.2.1 理論の定式化
3.5.2.2 証明の例
3.5.3 準Thueシステム
3.5.3.1 理論の定式化
3.5.3.2 証明の例