Teorema del buon ordinamento - Altre lingue