La lógica proposicional y la lógica de primer orden son ambas semánticamente completas, pero no sintácticamente completas.