Something tells me you've never sat in on an algebraic topology class where the teacher draws a donut and a pair of pants on the board, along with a line or two, and calls it a proof. A key characteristic of mathematics is that it can be made rigorous, but we certainly don't work in full rigor day to day. A look at Principia Mathematica should demonstrate simply why that would be infeasible.