[sproutini]

This isn't news to any logician or people working in formal methods. More like a mathematician getting his head around what has been thought about for decades, if not centuries.

Also, -1 for not mentioning Leibniz equality.