финикийский_торговец, вообще говоря, гильотина Юма - это не часть, никогда не была и быть не может частью формальной логики. Эта штука стоит над логикой точно так же, как над наукой, например, стоит принцип нефальсифицируемости Поппера. Гильотина Юма - это часть философии. На самом деле, этот принцип не является аксиомой, это эмпирическое наблюдение (объектом наблюдения были труды различных философов, религиозных деятелей, etc). Эмпирически установлено, что он выполняется всегда. Теоретически же он не был опровергнут. Но и доказан не был. Т.е. почему гильотина Юма работает, мы не знаем. Мы просто знаем, что она работает и что нет примеров, где бы она не работала. Как-то так.