User blog comment:KthulhuHimself/Library Function/@comment-2033667-20151104065208/@comment-26428969-20151106155649

what's an interpretation?

also: (rabb2t[phone]) going with that logic Lib cannot be well-defined in english (rabb2t[phone]) its not surprising (rabb2t[phone]) what is really problematic is that it we are trying to define a Rayo-like function inside the language that we want it to use (rabb2t[phone]) its like Rayo(n) being definable in FOST (rabb2t[phone]) the only way is to restrict so much that you get a theory unable to invoke itself by any explicit or implicit way (rabb2t[phone]) i.e. a formal system (rabb2t[phone]) saying "english shall not be invoked inside formal english" do not work because there is equivalent sentences that does not say "english" (rabb2t[phone]) and "nothing equivalent to calling english" requieres a formal system with axioms to prove the equivalence (rabb2t[phone]) so you are limited to the formal system, again (rabb2t[phone]) by* (rabb2t[phone]) that always goes back to a formal system, there is (probably) no escape for that (rabb2t[phone]) KthulhuHimself? (rabb2t[phone]) I hope you read my previous messages :v (rabb2t[phone]) NOOOOOO (rabb2t[phone]) ;3; (rabb2t[phone]) i krie
 * KthulhuHimself vient de se déconnecter (Ping timeout: 246 seconds)