Конгруенц-проблема — у математиці, зокрема в теорії чисел, фундаментальна проблема, що стосується вирішення конгруенцій (порівнянь) та з’ясування, чи можна довільну конгруенцію розв’язати за допомогою певного скінченного набору базових методів або “модулів”.
Конгруенц-проблема — у логіці та алгебрі, проблема, пов’язана з визначенням алгоритмічної розв’язності питань про тотожність (конгруентність) термів у різних обчислювальних моделях і формальних системах, наприклад, у комбінаторній логіці або теорії груп.