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