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