postulate

~を前提とする、仮定する