$Π^1_1$-Verstehen als Wohlordnungsprinzip