形式法则要解决的主要问题有哪些