किसी गणितीय निकाय के बारे में एक मूल कल्पना जिससे प्रमेय निगमित किए जा सकते हैं। उदाहरण के लिए, निकाय तल में बिंदु और रेखा हो सकता है। तब एक अभिगृहीत यह होगा कि तल में किन्हीं दो भिन्न बिंदु के लिए, उनसे होकर एक अद्वितीय रेखा होती है।