14.276 Circular proof

Prev Up Next 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.

Prev Up Next Page 747 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05