2
Outline
•
Proof of the Ehrenfeucht-Fraisse theorem