In this paper, we prove that no consistent finitely axiomatized theory one-dimensionally interprets its own extension with predicative comprehension. This constitutes a result the flavor of Second Incompleteness Theorem whose formulation is completely arithmetic-free. Probably most important novel feature distinguishes our from previous results kind it applicable to arbitrary weak theories, rat...