>Но тогда, как я понимаю, название теории будет другим, иначе петля.

Твоё утверждение почти правильное.
А совсем правильное утверждение звучит так:
название теории МОЖЕТ БЫТЬ другим :-)