无序为有序 无限为有限 无法为有法