susumu 10.k 論理学 11 形式化される論理