公理のセットではなく、定理のセットが無限個あるのでないと意味ないと思う