تا آنجایی که من میدانم، هم میتوانیم بگوییم که بین این دوعدد، عددی نیست و هم میتوانیم فرض کنیم که بین این دوعدد، عددی دیگر هم هست. گودل و کوهن گفته اند(با علم منطق ریاضی) که در واقع این سوال اشتباه است که آیا چنین عددی وجود دارد یا وجود ندارد، و بستگی به فرض ما دارد. یعنی هم میتوانیم فرض کنیم وجود دارد و هم میتوانیم فرض کنیم وجود ندارد و به هیچ تناقضی نمیرسیم.
من فکر می کنم این یعنی اینکه بستگی به تعاریف اولیه ما از مجموعه اعداد طبیعی و اعداد حقیقی و تابع یک به یک و... دارد. یعنی میتوانیم این تعاریف را طوری بسازیم که بتوانیم نشان دهیم جوابش مثبت است و هم اینکه میتوانیم طوری تعاریف را انجام دهیم که بتوانیم ثابت کنیم که جوابش منفی است.
