Si studiano in ZF forme equivalenti della seguente versione debole del teorema di Tychonov: il prodotto topologico di spazi compatti di Hausdoff è numerabilmente compatto. We study in ZF equivalent forms of the following weaker version of Tychonov theorem: the topological product of compact Hausdorff spaces is countably compact.