Сравнительная сила вариантов тезиса Чёрча на уровне теории множествстатья