日記 2021/03/28


実は詰まっていた命題

\displaystyle{
\forall x, y, z \in N; ((z \neq 0 \land xz=yz) \Rightarrow x=y)
}
の証明をした。
あと、列に関する定義を確認した。

ドグラ・マグラを読み始めた。
奇書だ奇書だといわれていたので気になっていたが、読み始めてみるとそこまでではなかった。
読むと頭がおかしくなるなんていう煽りも見たが、おそらくこの本を読んだというアピール、すなわち読んだ人だけがわかる言い回しの身内ネタなんだろうと思う。