>>345
公理的集合論でなく素朴集合論ならな