Formuła 1 – formuła logiczna: A¹∀B¹(∀x¹(x¹∈A↔x¹∈B¹→A¹=B))¹.
Że toast pij szybciej, bo się ściemnia jest nie na miejscu, gdy na stole jest denaturat?
