In formal systems, undefined terms cannot satisfy identity conditions that zero-distance requires, m...
This proposition has not been edited since the history system was added.