良序定理

Большой китайско-русский словарь

Большой китайско-русский словарь

_

well-ordering theorem