メタ変数、メタ論理、メタ数学 とかの奇妙な言葉。メタ変数は実質的に困難をもたらす。 変数集合V上を走る変数 x, y 。で、V = {x, y, ... } だったりする。 状況としては、 日本語と共通の単語が多くあり、意味が同じだったり違っていたりという外国語があ…

フントニモウ、ムカムカムカムカ、ムッキー！！ 矢鱈に同義語があったりする（例：論理AND、論理積、連言、合接、コンジャンクション）のに、肝心なモノ・コトに言葉がなかったり、曖昧過ぎて使いものにならなかったり。むっかー！ 定理 証明 公理と推論 定…

比喩： 具体素子 基本リーズニング 証明図（スチル） ムービー 料理 食材 基本調理法 料理のスナップショット 料理動画 回路工作 素子とワイヤー 基本組み立て法 回路のスナップショット 工作動画 ピクチャーパズル ピース 基本組み立て法 ピクチャーのスナ…