7种折叠构成的公理