A proof that only looks finished
A proof that still has a gap, such as an admitted step or an axiom added to make it go through, is presented as complete.
Guarded today by
Can be caused by
No component declares that its own use can cause it.
A proof that still has a gap, such as an admitted step or an axiom added to make it go through, is presented as complete.
No component declares that its own use can cause it.