Карл Поппер был первым, кто использовал термин «предположение» в научной философии.
В этом случае, если в доказательстве используется это утверждение, исследователи часто будут искать новое доказательство, которое не требует гипотезы.Одним главным исключением из этого правила на практике является аксиома выбора - если не изучать эту аксиому в частности, большинство исследователей обычно не беспокоит, требует ли результат аксиомы выбора.