Лекция 2. Т.Л.Яворская. Полнота интуиционистской логики относительно семантики Крипке