論理学は自然数や集合論とは独立して存在している