*.nonsa.pl
Formuła 1 – formuła logiczna: A¹∀B¹(∀x¹(x¹∈A↔x¹∈B¹→A¹=B))¹.
Że sejmowa komisja śledcza udowadnia, że nieprawdą jest, że białe jest białe, a czarne – czarne?