Fixed-point constructions exist in many formal systems; their mere existence doesn't vindicate seman...
This proposition has not been edited since the history system was added.