你这应该是逻辑学的问题吧,数学里一般是不会讨论这种问题的.如果是这样,就要先定义符号来表示命题：　　N（x）：x是自然数；　　Z（x）：x是整数；证明：　　　前提1：（任意x）（N（x）→Z（x））；　　　前提2：（...