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