Когда-то я рассказывал на семинаре доказательство теоремы Громова о группах полиномиального роста с помощью нестандартного анализа. Авторы, конечно, придумали его, уже имея перед глазами готовое доказательство самого Громова. Но многие технические сложности просто исчезли; ощущение было, что это правильный язык для данной проблемы.

Может быть, для каких-нибудь нерешенных задач это тоже окажется правильным языком: в смысле, что на нем легче будет думать, не нужно будет отвлекаться на несущественные трудности. Например, вдруг кто докажет, что конечно определенная группа конечного периода конечна.