Y para b) el que teorías tales como la teoría general de campos, la de los sistemas lineales, la teoría general del control y la teoría general de la información, son tan generales que por sí solas son incomprobables, aunque pueden hacerse indirectamente comprobables mediante su especificación.