שיחה:השערה (מתמטיקה)

משפט אי השלמות של גדל

להבנתי, משפט האי-שלמות של גדל טוען כי השערה שלא ניתן להוכיח או להפריך אותה היא בהכרח נכונה. האם זה לא גורם להשערה להיות מוכחת ועל כן להפסיק להיות השערה ולהפוך לתיאורמה? והאם מה שכתוב בגוף הערך הוא שגוי? A_Holy_Bartender - שיחה 08:10, 24 באוגוסט 2015 (IDT)

בתורה מסדר ראשון אם טענה היא בלתי כריעה הרי שקיים מודל של התורה שבה הטענה שגויה (וקיים מודל שבה היא נכונה). למשל בתורת הקבוצות המודרנית עוסקים רבות במודלים שבהם השערת הרצף אינה מתקיימת. דניאל 02:12, 31 באוקטובר 2015 (IST)