מהו המספר המינימלי של אקסיומות שתיאוריה מתמטית צריכה שיהיו לה כדי להסיק משהו לא טריויאלי?

למעלה