/  
    Das System von algebraischen Sätzen entspricht einem System von Induktionen.