不挂科搜题免费

问题:

在自然数推理系统F中,构造下面推理的证明:
(1) 前提:

答案:

证明(1)