在设立程序上，法律规定（）作为选择程序。