در ریاضیات قضیه خوش ترتیبی، قضیه ای است که می گوید هر مجموعه می تواند خوش ترتیب باشد. با اصل خوش ترتیبی فرق دارد ولی گاهی از آن به عنوان اصل خوش ترتیبی یاد شده است.ارنست زرملو از اصل انتخاب استفاده کرد تا این قضیه را به عنوان یک اصل منطقی غیرقابل رد معرفی کرد که منجر به اثبات هم ارزی اصل انتخاب و قضیه خوش ترتیبی شد.اثبات این قضیه یک رابطه خوش ترتیب و چگونگی آن را معرفی نمی کند تنها اثبات می کند که...
