Tag: formal systems

The debaters are arguing about the construction of formal systems, specifically regarding the definition of identity and its implications on basic mathematical statements like 1 = 1. They are exploring how different systems, S and S', can lead to varying conclusions about equality. The discussion revolves around the principles of formal systems and the potential for altering fundamental truths based on the system's definition.