冪集合公理のほうが自明じゃなくね？

無限集合は存在しないという公理体系の数学の方がそうではないものよりも易しそう。