506: 構造化された記述たちのルールたち

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

構造化された記述たちのルールたちの記述

---

話題

About: 記法

---

この記事の目次

• 開始コンテキスト
• ターゲットコンテキスト
• オリエンテーション
• 本体
• 1: 構造化された記述たちを求める動機
• 2: 命題たちの'構造化された記述'たちのルールたち
• 3: 定義たちの'構造化された記述'たちのルールたち
• 4: 発展途中のものである