Algil en obestridlig logiskbevisning