Why is 95% of the subject of mathematical logic bullshit?

Are there ANY good theorems in logic that dont IMMEDIATELY fall from the axioms? (Im looking at you the "Theory" of Double Negation.)