¿Existe una teoría de primer orden $T$ en el lenguaje de los anillos tal que sus modelos finitos son exactamente los campos $\Bbb F_p$ con $p$ primo (pero no $\Bbb F_q$ con $q$ una potencia propia es un modelo de $T$ )?
EDIT: Como esta pregunta resultó ser trivial, pregunté si también es posible con un finito teoría. Véase aquí