可靠性断言：在系统F中，从前提P我们可以证明的任意事情，实际上，是这个前提的一个（）