ペアノの公理の自然数の集合に、われわれがよく知っている自然数以外のものが入る可能性について。