Но здесь дело идет о доказательстве, о теории, а таковую нельзя, как говорит в одном месте Юм, строить из того, чего не знаешь, а можно строить только из того, что знаешь.