kubahiriza ibisabwa mu bushishozi first the strong completeness theorem and compactness fail mu kwezi kwa karindwi muzajye mwizihiriza yehova umunsi mukuru