نمایش مبدأ برای علم حصولی