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.