SHPORA.net :: PDA

[ Back ]

Т. Не существует алгоритма который по любой формуле определяет является ли она общезначимой или нет. Т.е. проблема разрешений не разрешима.