>>766
すべては有限の手続きですというのは明快ともいえる。濃度とかを考えださなくちゃいけないのって逆に複雑にしてない？あと言えても言えなくてもいいことは言えなくていいし。