שינויים

הוכחת משפט אי השלימות הראשון של גדל

אין שינוי בגודל, 07:21, 13 באוקטובר 2011
/* הוכחה */
'''מסקנה''': המשפט <math>s=B([B])</math> מקיים : ::--<math>P([s])\iff s</math> כפי שרצינו.