שינויים

זה בסדר להגדיר פונק' g ספציפית מ-אם אני מראה ש A^A שקול ל-(P(AxA ולהראות שהיא חח"ע ובכך להראות אז זה מראה באופן ישיר שקיימת פונק' חח"ע מ-A^A ל-אל (P(AxA נכון?