1 יַחַס: עצמאות (לוגיקה מתמטית).
עצמאות (לוגיקה מתמטית)
בלוגיקה מתמטית, טענה שלא ניתן להוכיח אותה, וגם לא את שלילתה, מתוך מערכת נתונה של אקסיומות, היא טענה עצמאית ביחס לאותה מערכת.
חָדָשׁ!!: תלות (לוגיקה מתמטית) ועצמאות (לוגיקה מתמטית) · ראה עוד »
1 יַחַס: עצמאות (לוגיקה מתמטית).
בלוגיקה מתמטית, טענה שלא ניתן להוכיח אותה, וגם לא את שלילתה, מתוך מערכת נתונה של אקסיומות, היא טענה עצמאית ביחס לאותה מערכת.
חָדָשׁ!!: תלות (לוגיקה מתמטית) ועצמאות (לוגיקה מתמטית) · ראה עוד »