>>138の「世界」という専門用語を「今考えている形式的体系」という風に
非常に好意的に無理矢理解釈すれば、まぁ間違いではないか。