Недоказуемость секвенции

[FireStar]

Нужно доказать, что секвенция недоказуема:
$\forall x (f(f(x))=x) \vdash \exists x (f(x) =x)$
Я знаю, что секвенция недоказуема, если она не тождественно истинна, то есть нужно найти модель, на которой при каком-то означивании секвенция не будет истинной. А вот как найти эту модель, я не знаю. Откликнитесь, кто может помочь, пожалуйста.