もちろん「一般の世界」にいつまでも居たって面白い結果は出てこないので、論理的安定性の保たれた通常の世界で数学をやりたい。
だがその前に、「通常の世界」を一般の世界の中に実際に作ってみせる必要がある。そうしないと凡てを自前で揃えた事にはならないからね。
論理的公理と推論規則だけから生成されうる複数の世界の中に、通常の世界を見つけることに成功すれば、
「自分はこの世界の人間なので、ここで数学をします」
と宣言してしまえばいい。