Legenda: (bież) – różnice z bieżącą wersją, (poprz) – różnice z poprzednią wersją, M – drobne zmiany
Formuła 1 – formuła logiczna: A¹∀B¹(∀x¹(x¹∈A↔x¹∈B¹→A¹=B))¹.
Jak brzmi Geralt poeta?