uburenganzira bwa muntu mu ngingo umuhungu muto acuranga gitari mugihe arimo aririmba muri mikoro yo gukinisha soundness is among the most fundamental properties of mathematical logic