fl on Nostr: nprofile1q…w2jgt The problem is that in set theory for instance the only non ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqz9dktt4dvth8g6gchg3mu3qcnrtxuh2m0lj6zydermernh940s5s8w2jgt (nprofile…2jgt) The problem is that in set theory for instance the only non logical symbol in the axioms is $\in$, and that it is built over classical first order logic with equality. So the normal way to define truth is to take a set therory theorem, or a first order logic with equality theorem. In the case "x = x" is a simple logical theorem that can be used to mean truth. You can obviously define a new symbol as Truth <-> x = x. But Anyway what is behind is x = x.