原帖由 csish 于 2008-3-14 16:58 发表

你走得越来越远了,已经把证明也纳入现实范畴了:)
即使这个现实世界不存在,无最大质数这个命题也为真:)