Back Axioma de l'infinit Catalan Unendlichkeitsaxiom German Αξίωμα του απείρου Greek Axiom of infinity English Aksiomo de senfineco EO Axioma del infinito Spanish Lõpmatuse aksioom ET اصل موضوع بینهایت FA אקסיומת הקבוצה האינסופית HE Assioma dell'infinito Italian
En mathématiques, dans le domaine de la théorie des ensembles, l'axiome de l'infini est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, qui assure l'existence d'un ensemble infini, plus précisément d'un ensemble qui contient une représentation des entiers naturels. Il apparait dans la première axiomatisation de la théorie des ensembles, publiée par Ernst Zermelo en 1908, sous une forme cependant un peu différente de celle exposée ci-dessous.