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

可靠性断言：在系统F中，从前提P我们可以证明的任意事情，实际上，是这个前提的一个（）。
A.一阶后承
B.逻辑后承
C.重言后承
D.塔斯基后承
正确答案：一阶后承；逻辑后承