问答题

在自然推理系统F中,证明以下推理:
每个有理数都是实数,有的有理数是整数,因此有的实数是整数。


您可能感兴趣的试卷