Определение топологической семантики,<br />аксиомы Куратовского,<br />истинность в топологической модели,<br />проверка аксиом и правил вывода S4 в топологической модели.<br /><br />💰 Если Вам нравится мой контент, то Вы можете поддержать канал: <br />через сервис Boosty: <a href="https://boosty.to/mathreisender" target="_blank" rel="nofollow">https://boosty.to/mathreisender</a><br />...<br /><a href="https://www.youtube.com/watch?v=Gd-k9hguD9s" target="_blank" rel="nofollow">https://www.youtube.com/watch?v=Gd-k9hguD9s</a>