Bizonyítási módszerek, matematikai logika | mateking