You are viewing a single comment's thread from:
RE: What is Tauchain & Why It Could Be One of The Greatest Inventions of All Time (Part 1: Introduction)
from the logs:-
10:09 < naturalog> 1. the is no universal lang
10:09 < naturalog> 2. so we come up with a metalang
10:09 < naturalog> 3. but that's back to 1
10:10 < naturalog> 4. so the metalang need to be able to redefine itself
Yup, which is why the metalanguage is based on a certain kind of logic that is decidable and is self-defining.