（一）先，讨论自由公设问题