Обсуждение:Математическая логика

Может тогда именовать странички не Лекция Номер, а по вопросам сразу? Т.е. вместо Лекция Два - Доказуемость. Аксиомы исчисления высказываний. Корректность исчисления высказываний. --Прошев С. 15:51, 12 января 2012 (MSK)