今回の輪講で印象に残ったのが「公理と定義の違いの話」と「積和(和積)標準 形」でした。(どっちも放課後モードでの話題ですみません・・・)(1) 公理と定義の違い 自分なりの解釈ですが、こうかなと感じました。○ 公理(系) → いわゆる「真実」とか「本質」で…