Задача про теорему о компактности в исчислении высказываний

[Mike Harris]

Дан набор квадратиков с перегородками (стенками) между некоторыми клетками внутри них. Известно, что любой квадрат можно замостить этими квадратиками так, чтобы был путь с верхней стороны на нижнюю, не пересекающий перегородок (стенок), Докажите, что всю плоскость можно замостить так, чтобы был путь "из верхней бесконечности в нижнюю".

Требуется доказать это с помощью теоремы о компактности

[Pphantom]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Карантин»
по следующим причинам:

- отсутствуют собственные содержательные попытки решения задачи.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

-- 13.12.2018, 20:22 --

Mike Harris, замечание за дублирование тем в разных разделах. Дубль удален.