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,

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.