On compactness in many-valued logic. I