User:Kiiiino3/sandbox

https://en.wikipedia.org/wiki/Impredicativity