Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der π1/2-Separation [Pi-Separation] und Bar-InduktionPrévenez-moi