Полнота, непротиворечивость исчисления высказываний - online presentation