类推公设

类推公设可以叙述如下: