إجراء لبناء نظرية علمية، تعتمد فيها على بعض الافتراضات الأولية (البديهيات أو المسلمات) التي تشتق منها جميع العبارات الأخرى لهذه النظرية في قواعد محددة عن طريق استنتاج منطقي بحت أو تفكير استنتاجي من خلال الحجج، والتي وهي بدورها مبنية من بعض المصطلحات التي تعتبر بدائية.