משפט הסדר הטוב – שפות אחרות