良序定理 Большой китайско-русский словарь Поделиться: Большой китайско-русский словарь _ well-ordering theorem