>>465
その中では林しかもってないが、あれは数理論理学というのがいいんじゃない。