Tskkの日記 迷宮旅行社・日誌 はてな版 迷宮旅行社さんの話は面白い。 ふつう、「戦争を避けられる」という定理を目標として、帰納的に定理から定理へ遡っていき、「国際的な連合がある」というような偽の公理まで達して、よし、では国連を作ればうまくいく…