בתשובה לאורי גוראל-גורביץ', 22/07/05 11:28
אבל, אם מספר האקסיומות לא סופי? 318860
אבל, אם מספר האקסיומות לא סופי? 318869
זה לא מפריע לאלגוריתם הכללי, בתנאי שניתן לסדר את האקסיומות בזו אחר זו. גם במקרה זה אפשר לבנות בזה אחר זה את המשפטים היכיחים. כמובן שלא נסיים לעולם את עבודת הבנייה הזו, אבל בהינתן משפט יכיח, נגיע אליו בסופו של דבר.
אבל, אם מספר האקסיומות לא סופי? 319136
אני חייב להודות שכנראה שוב לא הבנתי. מצפה להמשך של תגובה 318842

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים