One of these fruits is Godel's theorem, which says, very roughly-- we'll talk about it properly later-- that you cannot give a complete axiom system for even baby mathematics, for arithmetic. Or more precisely, you can, but only if it's inconsistent. So only if it allows you to prove everything, including falsehoods.