Если в ней выбрать некоторую ограниченную покрывающую систему из бесконечного числа покрывающих элементов (если конечная, то доказывать нечего), то, отбрасывая из неё те, что лежат в пересечении двух других придём к конечной системе.
Двух других чего?
Цитата:
ограниченную
Ограниченность системы не нужна.
А так да, уже больше похоже на правду.