They occur naturally in proof theory, and were first noticed there (before receiving a name).
它们自然的出现于证明理论中，并在那里被首次注意到（在获得一个名字之前）。