nimugerageze kurya ibikwiriye kandi byiza kugeza ubu muri ino minsi dr sam arimo gukorana indirimbo na green p yitwa urabyumvute the set of well formed formulas may be broadly divided into theorems and non theorems