25 lipca 2007, 12:29 Mi się podobał nie cały. Ale w sumie dobrze sie skończył ∃x (Fx & (y)(Fy→y=x & Gx))