論理と位相学の基礎、