All these discussions remind me why I loved pure mathematics so much. Every theorem requires a proof, and nothing is really a fact on its own, but a logical derivation from an assumption. I guess you can call these "2nd order facts"?