The model N = ∪ {L[A]: A countable set of ordinals}.评价结果

评估详情