Esto se debe a que las lógicas de segundo orden tienen el poder expresivo suficiente para ser afectadas por los teoremas de incompletitud de Gödel.