11.03.2025 Пятая лекция по математической логике (аксиоматическая теория исчисления высказывания)