Formal consistency is the minimal criterion for mathematical existence; without it, no abstract obje...
This proposition has not been edited since the history system was added.