Page "Original proof of Gödel's completeness theorem" Paragraph 43

In this particular case, we replace Q ( x ', y ') in with the formula.

Here ( x, y | x ', y ') means that instead of ψ we are writing a different formula, in which x and y are replaced with x ' and y '.

Note that Q ( x, y ) is simply replaced by.