דף הבית
דף אקראי
רשימת מעקב
הגדרות
כניסה לחשבון
אודות Math-Wiki
הבהרה משפטית
שינויים
83-116 בדידה להנדסה סמסטר ב' תשע"ח
נוסף בית אחד
,
14:31, 20 במרץ 2018
/* הודעות */
הסבר הרעיון בקשר לגלב: רוצים להוכיח שלא קיים גלב כזה כלומר שמתקיים:
<math>\lnot (\exists x \forall y (P(x,y)\leftrightarrow \lnot P(y,y
)
))</math>
וראינו שזה שקול ללהוכיח שמתקיים:
אריאל
1,419
עריכות