Задачка по матлогике

[Hocker]

известно,что предложение Ф сигнатуры (1,0,*,+) такое,что для любого поля F0 характеристики 0 F0|=Ф. Доказать,что существует натуральное число n,такое что для любого поля F характеристики p>n F|=Ф.

в общем, я знаю,что нужно использовать то,что класс полей с нулевой характеристикой не конечно аксиоматизируем.то,что он не конечно аксиоматизируем я показал, но не приходит в голову, как использовать это теперь..

[Профессор Снэйп]

На форуме НГУ уже ответил, здесь дублировать не буду.