Kommen wir hier zu dieser Transformation von „(x)(∃y)y = 2x” in „(x)(∃2x)” die ich einmal angedeutet habe? (Die ˇMöglichkeit der Verwandlung eines Relativsatzes in ein Attribut in der Allgemeinheit der Mathematik)