Применение логики предикатов в математике и для анализа