こんにちは執筆お疲れ様です。記号論理学シリーズですか。集合と位相ゼミもバリバリ書いているようでなによりです。がんばってください。
ところで、間違いと思われるものを発見しました。 最後のほうの⇔の表が⇒になっています。
( ^□^)<レフトライトアロー!!!111!!1
……最近は(3ヶ月しか参加していませんが)活気があっていいなぁと思う今日この頃です。