_ （3/18記：数学基礎論の勉強をしていて、基礎の論理体系に新たな記号を（いわゆる「定義による拡大」で）導入したときに本質的に新しい論理式が増えない（←雑すぎる説明だけど正確な記述は割愛）、という性質を真面目に証明するとえらく面倒なのだなぁと実感するなど。）
最近のツッコミ↓