命題を(形式的に)正しく書き下せないと数学専門の人と会話にすら出来ないのではじめての数理論理学 証明を作りながら学ぶ記号論理の考え方 | 森北出版株式会社を読んだ。以下駄文。

楕円体を回転させて綺麗に並べる。