Circular reasoning occurs when the conclusion (extensionality) is embedded in the logical machinery ...
This proposition has not been edited since the history system was added.