実数体・実数の定義

実数体・実数の定義のノートの参照文献に、
本橋信義『新しい論理序説』追加。