*.nonsa.pl
Formuła 1 – formuła logiczna: A¹∀B¹(∀x¹(x¹∈A↔x¹∈B¹→A¹=B))¹.
Że jak Armia Czerwona wjechała w 1945 r. do Bornego Sulinowa, to wyjechała dopiero w 1992 r.?