במתמטיקה, תכונת ארכימדס היא תכונה של מבנה אלגברי סדור, כמו חבורה סדורה או שדה סדור: המבנה מקיים את תכונת ארכימדס אם קבוצת המספרים הטבעיים הנמצאת בו אינה חסומה: לכל איבר x יש מספר טבעי n הגדול ממנו. במילים אחרות, מספר השייך למבנה אינו יכול להיות גדול מכל המספרים הטבעיים - 'גדול עד אינסוף'; בדרך כלל נובע מכך גם שמספר חיובי השייך למבנה אינו יכול להיות 'קטן עד אינסוף'. שדה המקיים תכונה זו נקרא שדה ארכימדי. לדוגמה, השדה הרציונלי והשדה הממשי הם ארכימדיים, בעוד ששדה הפונקציות הרציונליות \ \mathbb{R}(x), הסדור כך ש⁻x נעשה אינפיניטסימל, אינו ארכימדי. מתוך ויקיפדיה

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