Постоянная проблема

• Проблема определения равенства выражения нулю является общей проблемой в трансцендентной теории чисел. 
• Доказательства в теории трансцендентности часто основаны на доказательствах от противного. 
• Сложность доказательства того, что выражение не равно нулю, требует специфических методов для каждого изучаемого выражения. 
• Существуют алгоритмы и методы, позволяющие доказать, что выражение не равно нулю или показать, что проблема неразрешима. 
• Для доказательства того, что выражение не может быть равно нулю, требуются методы, специфичные для изучаемого выражения.