curry's paradox also occurs in some varieties of formal logic floyd supervised seven phd graduates mukuru w'abazimu bari mu nda y'isi