 A truly scientific proof should ground the theorem, i.e., integrate it into a scientific theory organised according to the “objective connection of truths”, starting with axioms and fundamental concepts.[…]. These ideas indicate the direction of future research: the notion of normal proofs in the sense of Gentzen, proof trees, König’s lemma (Šebestík 1992: 478).