Matematik tizimning asosini tashkil etuvchi, isbotlanmagan fundamental taxminlar; ajratuvchanlik aksiomalari esa ochiq to'plamlar yordamida turli nuqtalarni ajratishni ta'minlovchi o'ziga xos aksiomalar turidir