⁡ ( x , y ) . ∨ . ( ∃ x ) . f ⁡ ( x , x ) ”.)

475