Metadata
Author: WikiMatrix
Data
Esperanto[eo]
Ĉi tiu rezulto ĝeneraligatas al la kartezia produto de ĉiu finia kolekto de kalkuleblaj aroj kaj la pruvo estas per indukto sur la kvanto de aroj en la kolekto.
Portuguese[pt]
Este resultado é generalizado para o produto cartesiano de qualquer sistema finito de conjuntos contáveis e a prova é por indução sobre o número de conjuntos do sistema.