■

Chimaira.orgの"「形式的」とは何だろう"という記事を読んでいて、こういう記事が昔(といってもそんなに昔でもないわけだが)数理論理とかを勉強し始めた頃にあったらなぁと思ってしまった。
もうだいたい理解してしまった今だからこの記事がいいと思うのか本当にこの記事がよいのかは今となっては判断できないが、読んで良かったことは確かだ。
他の記事も読んでみよう。