論理学は自然数や集合論とは独立して存在している
自然数や集合論に依存している分野は分離しておけ