アリストテレス 三段論 法. ラムダ 記号.

量子 論 観測. パラドックス 数学. 論理 論法.