A new perspective on completeness and finitist consistency. - Santos, Paulo Guilherme; Sieg, Wilfried; Kahle, Reinhard (Journal of Logic & Computation, 2024)