К вопросу о полноте по Крипке предикатных логиктезисы доклада