演繹システム

従来：

	システム組み込み	ユーザー定義
ワイヤー	公理	仮説、仮言、仮定
ケーブル	公理系	仮説、仮言、仮定
ノード	公理、推論規則	定理
オペレータ	推論規則	？
同値性	？	？

今後：

	システム組み込み	ユーザー定義
ワイヤー	命題	命題
ケーブル	構造化命題	構造化命題
ノード	組み込み導出、公理	マクロ導出、定理
オペレータ	{組み込み}?リーズニング	マクロリーズニング
同値性	組み込み同値性	マクロ同値性

用語法：

1. 述語 ＝ 単純命題（構文的な単純さ）
2. 論理式 ＝ 複合命題
3. システム組み込み〈基本〉命題（システム仕様の問題）
4. ライブラリ命題
5. システム組み込み〈基本〉リーズニング
6. ライブラリリーズニング（マクロリーズニング）
7. システム同値性
8. ライブラリ同値性（マクロ同値性）

次のダイコトミーがある。

1. システム組み込み vs ユーザー定義 ← システム仕様
2. 基本〈primitive〉 vs マクロ ← 作り方、構造
3. 単純〈simple〉 vs 複合〈compound〉 ← 構文的な分類