Demonstrating consistency of Hume's Principle within second-order logic inherits whatever foundation...