Before revision: Thus, considering the same from above, its Skolemization would be: To understand the significance of these constructions, see Herbrand's theorem or the Löwenheim-Skolem theorem .
After revision: Thus, considering the same from above, its Skolemization would be: To understand the significance of these constructions, see Herbrand's theorem or the Löwenheim-Skolem theorem