|Page 747 of 800||Search internet|
Origin: check. Landing-place: diagnose.
Circular proof. The vicious circle includes lemma n
Proofs on a page may reference arbitrary lemmas on referenced pages as well as arbitrary lemmas on the page itself. The latter possibility introduces the risk of circular proofs, i.e. proofs which depend on the lemma they are supposed to prove. The 'Circular proof' message indicates that a circular proof was found. The error message indicates one lemma whose proof depends on the lemma itself.
|Page 747 of 800||Search logiweb.eu|