En análisis real, se denomina axioma del supremo o axioma de completitud a uno de los axiomas que componen el cuerpo de los números reales, el cual establece:[1][2] Si
{\displaystyle E\subseteq \mathbb {R} }
es un conjunto no vacío acotado superiormente en
tiene supremo en
Esta propiedad es esencial para que el cuerpo de los números reales se vuelva un espacio completo, ya que otros cuerpos que no satisfacen el axioma, como el cuerpo de los números racionales, no son completos.