>>50
「数」とは、0∈F を持つ集合です。