Рассматривается методология неофрегеанского проекта философии математики. Раскрывается понятие стипулятивного определения. Проблематизируется статус принципа Юма как стипулятивного определения: анализируется взаимосвязь стипулятивного характера принципа и так называемой проблемы плохой компании.