>>30
P.S.
>(彼は)数理論理君という人なんだけど
超幾何君と読んでやりぃな
基礎論屋とちゃうんやし