Non-standard analysis is a mathematical framework that rigorously formalizes the intuitive notion of infinitesimals and infinitely large numbers, providing an alternative foundation for calculus. It extends the real number system to include hyperreal numbers, allowing for the manipulation of these infinitesimals in a consistent way, which can simplify certain proofs and calculations in analysis.