デデキントの切断

デデキントの連続性公理のノートを更新。