Рассмотрены проблемы математической логики, описаны исследование шаги по разрешению этих проблем.