Extensionally equivalent predicates can differ in syntactic structure, enabling different Gödel sent...
This proposition has not been edited since the history system was added.