25
A taste of FMT
•
Example 2
•
•
EVEN is the property that |A| = even
•
•
Theorem
If
s
=
;
then EVEN is not in FO
•
Proof [in class]
•
But what do we do if
s
¹
;
?