自然数や集合論は「文字の集合」を解釈できるの?