演繹可能性メタ命題 - (新) 檜山正幸のキマイラ飼育記 メモ編 で参照した過去記事達（新しい順）： 互換な演繹システムとシーケント、そして矢印記号 - 檜山正幸のキマイラ飼育記 (はてなBlog) 演繹定理 論理／メタ論理の記法をどうするか 2: 悟りへの道 - …

基本概念： 描画 テキスト記述 キャンバス ステージ ワイヤー 論理式 ケーブル 構造化論理式 ノード 導出 グループボックス プレーンブロック リーズニングボックス リーズニングブロック コンステレーション図 導出記述 言い方： 描画 テキスト記述 描く 導…