במתמטיקה מספר טבעי הוא מספר שלם חיובי, המתאר מספר איברים בקבוצה סופית, כמו 1,2,3 או כמו 72. מקובל לסמן את קבוצת המספרים הטבעיים באות \mathbb {N}. המספר אפס נכלל בין המספרים הטבעיים בהגדרות אחדות, ואינו נכלל בהגדרות אחרות. מתוך ויקיפדיה

אקסיומות הסדר, אקסיומות הפרדה, אקסיומות מנייה, אקסיומות פאנו, אקסיומות פון נוימן⁻מורגנשטרן, אקסיומות צרמלו פרנקל, אקסיומות קולמוגורוב, אקסיומת ארכימדס, אקסיומת האיחוד, אקסיומת האינדוקציה