The Ehrenfeucht Game is interesting in its own right as a game.

It was originally a method given by Roland Fraïssé to verify elementarily equivalence. It was reformulated as a game by Andrzej Ehrenfeucht. We will define the game, see how it plays a role in deciding whether a property is first order expressible, and give a vague idea of how it relates to the Zero-One Law.