もちろん、「○○はなかった」という命題それ自体を直接証明することはできない。しかしながら、「○○はあった」と矛盾する命題を証明することができれば、当然「○○はなかった」という命題を証明することはできるのである。 つまり、南京攻略戦が始まる前は人口…