גדל וריקותו של האנליטי
צהריים טובים!
גדל הראה שלא ניתן לבנות מערכת מתמטית- לוגית שלא מניחה אקסימות קודמות. מכאן נעשה מחוור המושג של ריקות האנליטי, כלומר, שכל היסק לוגי אפי' הכי מורכב, לא יכול להניח ולהוכיח את האקסימות שלו.
שאלתי היא, האם זה לא מובן מאליו? מדוע צריך היה לחכות לגדל כדי להראות שהאקסימות אינן לוגיות?