Ich kenne keine Details, aber so wie ich strukturelle Induktion verstehe, geht es dort nicht wie bei den natürlichen Zahlen um eine totale, sodern um eine allgemeinere Halbordnung; es sind also nicht wie bei den natürlichen Zahlen zwei Elemente direkt vergleichbar. Im Gegensatz zur transfiniten Induktion werden aber bei struktureller Induktion nur höchstens abzählbar viele Elemente betrachtet; insbesondere wird das Auswahlaxiom nicht benötigt. Vielleicht kann noch jemand mehr Information dazu geben.