結果 : introduction to set theory by hrbacek and jech