Ehrenfeucht–Mostowski theorem

GPTKB entity