In analysis, we do encounter tougher epsilon-delta proofs instead of more intuitive algebraic methods( those involving infintesimals). I have read that there is branch where infintesimals are rigorized like epsilon-deltas. My question is why people don't use that? Also, is it logically sound? How long does it take to understand axioms? Sorry, if I appear to be less informed.