A formal approach to Menger's theorem - Bonacina, Roberta; Misselbeck-Wessel, Daniel (Reports on mathematical logic, 2022)
Keywords: Apexes; Existence theorems; Logic; Philosophy of Science; entailment; Disjoint paths; separating set; inductive definition