La lógica de primer orden es sintácticamente decidible si se limita a predicados con un solo argumento (monádica).