Логика предикатов и Сколемовская форма: Глубокий взгляд на теорию