任重 | 民事诉讼法教义学视角下的“执行难”：成因与出路 | 法宝推荐
【副标题】以夫妻共同财产的执行为中心
【作者】任重（清华大学法学院副教授，博士生导师）
【来源】北大法宝法学期刊库《当代法学》2019年第3期。因篇幅较长，已略去原文注释。
【声明】本文仅限学习交流使用，如遇侵权，我们会及时删除。
内容提要：“执行难”是全社会共同关注的现象和问题。民事诉讼法教义学视角下的“执行难”是被执行人有能力或部分有能力满足生效裁判文书中记载的请求权，其却无法经由强制执行得到满足的法律现象。诉讼保全中对诉权范围的限缩、对程序事项的轻视和对证明标准的误读，审判程序中过分强调纠纷一次性解决的倾向以及由此引发的执行复杂化，都是“执行难”的民事诉讼法教义学成因。夫妻共同财产的“执行难”可以被进一步界定为，债权人仅获得针对夫妻一方的生效给付判决与对夫妻共同财产进行强制执行之间的紧张关系。追加被执行人或《查扣冻规定》第14条既非唯一出路，也非最佳选择。解决之道是为夫妻共同债务的债权人起诉夫妻另一方明确请求权基础，在夫妻个人债务的强制执行中贯彻形式化原则，在充分保证夫妻另一方程序权利的前提下提升执行效率，一体化解决“执行难”和“执行乱”。
关键词：执行难；执行乱；民事诉讼法教义学；夫妻共同财产；夫妻共同债务
引言
与“起诉难”、“证明难”、“再审难”类似，严格来说，“执行难”并非法律概念，而是法律现象，或者说是一种较为普遍的主观感受。强调“执行难”的概念性质，并非要否定“执行难”在我国的真实存在。相反，“执行难”涉及面之广，涉及度之深，历经时间之久，其解决之难，被认为是我国民事司法中任何一个问题所不能及的。自最高人民法院提出“用两到三年时间基本解决执行难”以来，破解“执行难”便成了各级人民法院工作中的重中之重，也是全社会的共同关注。也是由于全社会的重视，导致“执行难”的一系列病灶被逐步破解，例如最高人民法院建立的“总对总”网络查控系统，通过与公安部等多部委以及人民银行、中国银行保险监督管理委员会以及3900多家银行金融机构联网，查询被执行人在全国范围内的16类25项信息，基本实现对被执行人主要财产行使和相关信息的有效覆盖，再如建立失信被执行人名单，并实现“一处失信、处处受限”的联合惩戒体系，又如在全国推行网络司法拍卖，有效破解财产变现难题，以及目前旨在对“执行不能”案件中的申请人进行保护而探索建立的保险制度和个人破产制度。
由于“执行难”的产生并不仅仅源于民事诉讼法律的漏洞和缺陷，甚至主要不是法律层面的问题，在最高人民法院的推动下，全社会三年来所做的努力起到了立竿见影的效果。可以说，“执行难”在我国已经得到相当程度的解决。而在社会环境趋于有利的大背景下，以民事诉讼法教义学为视角对“执行难”的法律成因及其出路进行再探讨，便具有了现实意义。一方面，民事诉讼法教义学视角下的“执行难”研究不再只是纸上谈兵。在最高人民法院的努力之下，“执行难”已经从“社会病”开始逐步回归“法律病”，而“法律病”的法律药方将成为彻底解决“执行难”的关键一步。另一方面，人民法院在大力解决“执行难”的工作中，其实还存在另一重要维度，即对被执行人以及案外人的实体和程序权利进行保护，否则，“执行难”的所谓解决必然伴随着“执行乱”，并会使人民法院的执行工作陷入死循环，即“一抓就乱，一放就难”。为了在解决“执行难”的同时克服“执行乱”，也有必要在民事诉讼法教义学的维度上对“执行难”进行再探讨。
不过，即便是将“执行难”限定在民事诉讼法教义学的视角下，其对一篇论文而言依旧是难以圆满完成的任务，无法摆脱空对空的痼疾。因此，本文在对“执行难”进行民事诉讼法教义学视角下的框架性展开后，将以夫妻共同财产为中心，尝试通过以点带面的方式描绘“执行难”的法律药方，并对症下药。不过，夫妻共同财产“执行难”及其法律解决方案是否能够反推出民事诉讼法教义学视角下“执行难”的全貌，甚至相关法教义学分析是否能穷尽民事实体法和程序法的全部解决方案，无疑均是本文无法充分克服的局限。至于为何还要铤而走险，毋宁说是希望抛砖引玉，以倡导将“执行难”的分析与解决逐步拉回民事诉讼法教义学的立场与范式。
一、“执行难”的民事诉讼法教义学分析
“执行难”并非法律概念，因此，对其进行民事诉讼法教义学分析的第一个步骤是“执行难”的法律概念化，这项工作也能在相当程度上集中本文的论题。作为过去三年来的重大努力成果，无论是联网查询被执行人的财产，还是“一处失信、处处受限”的社会信用体制，虽然对“执行难”的解决有立竿见影的效果，但严格来说并非民事诉讼法教义学意义上的努力。不过，作为前提问题，笔者必须初步回应何谓民事诉讼法教义学，因为其在我国或许不是新事物，但却无疑是个新概念。
通过中国知网进行检索，在“诉讼法与司法制度”中的“民事诉讼法”栏目下以“法教义学”作为篇名、关键词以及在全文中出现的检索结果分别是2篇、5篇和6篇。这或许也可以被看作是民事诉讼法学“贫困化”的反映，即研究方法的缺失和失范。虽然改革开放四十年来，我国民事诉讼法学研究无论在深度和广度上都取得了瞩目的成就，但民事诉讼法教义学这一研究方法并未得到持续性和集中的关注与讨论。这与法理学以及以民商法学和刑法学为代表的其他部门法研究形成了较为鲜明的对比。不过，通过以上对比却并不能简单得出我国并不存在民事诉讼法教义学这一推论。事实上，民事诉讼法教义学在我国并非新事物，其充其量只是新提法。究竟何谓民事诉讼法教义学？施蒂尔纳教授认为，民事诉讼法教义学作为教义学的分支，也是体系化的将个案归类到基本规则或基本原则中的方法。这种归类是在现行法的基础上或在对现行法的解析过程中完成的。不仅如此，世界上没有一个现代文明社会的法律体系可以不依赖这种体系化的工作而存在。因为只有依托这种工作，人类正义的最基本元素即平等才可能得以完全实现，即同样情况同样对待，不同情况区别对待，相似情况修正性对待。以上述民事诉讼法教义学的实质内容作为标准，我国民事诉讼法教义学其实早就在规范研究的称谓之下被持续推进。张卫平教授认为，规范研究方法的前提是承认和尊重实在法的权威性、确定性和自身的逻辑性。这里的实在法包括制定法、法律的基本原理、原则和体系的自洽。如果出现具体法律规定的矛盾和漏洞，规范研究提供在法律原理和原则框架之下解决和应对的方法。限于篇幅以及本文的主题，对我国民事诉讼法教义学的历史、挑战及其出路不得不另文详述。为了保持民事诉讼法学研究方法与法理学以及其他部门法学之间的对应，本文以民事诉讼法教义学指代规范研究这一在我国民事诉讼法学研究中更为广泛使用的概念表达。
在圈定民事诉讼法教义学的内涵和外延后，“执行难”的民事诉讼法教义学分析是那些“执行难”的成因及其出路中可以落入民事诉讼法教义学的部分。由于“执行难”不仅是法律现象，更是全社会关注的问题，因此，人们对“执行难”的内涵、外延及其生成原因的认识也较为多样。
首先，社会上理解的“执行难”与人民法院理解的“执行难”存在若干差异。社会公众尤其是执行申请人，倾向于认为凡是人民法院发生法律效力的判决、调解、裁定所确定的民事权益，都应当全部兑现，否则，无论是什么理由或原因，都被认为是“执行难”。与社会公众眼中宽泛的“执行难”相比，“执行难”的范围在法院眼中要小得多，通常“执行不能”并不被视为“执行难”，而被认为是当事人应当承担的商业风险。应该强调的是，“执行难”的讨论不仅要在人民法院界定的范畴内展开，而且要通过宣传使社会上理解的“执行难”与之并轨，否则，“执行难”的基本解决并不会得到社会的承认和认可。
其次，民事诉讼实务层面的“执行难”与民事诉讼法教义学语境下的“执行难”也存在显著不同。前者以宏观的视角，主要涉及民事执行权配置和机构改革，例如建议将执行权从法院权力结构中分离出去交由统一的执行机构行使，在此基础上，有学者建议将执行权中的实施权分离出去，但执行决定权和裁判权依旧由法院负责，还有观点认为解决“执行难”需要法院从内部治理下功夫。与包含司法改革的民事诉讼实务层面相比，民事诉讼法教义学视角下的“执行难”更为具体，因此也是较容易被忽视的层次。这一层次的讨论多针对制定法、法律的基本原理、原则和体系展开。不过，由于我国执行立法甚至司法解释都具有滞后性，且从职权主义向当事人主义的民事诉讼体制或模式转型并未彻底实现，因此，民事诉讼法教义学层面的讨论还不得不包含立法论内容：首先，应当以民事诉讼基础理论作为分析框架对实在法进行反思与批判；其次，对符合民事诉讼基础理论要求的实在法进行法教义学分析，以析出问题的法律解决途径；最后，对实在法无法圆满解决的问题，借助基础理论提出进一步立法建议，并通过比较法加以验证。例如，有观点认为我国民事诉讼立法存在保护债务人的明显取向，这是“执行难”的原因之一，并进一步提出了债权人权利至上的修法建议；还有观点认为，“执行难”源于我国缺乏系统的理论支持，而错误套用了民事审判程序，并没有充分照顾执行程序在程序结构上的局限性、程序设置上的局限性和程序结果上的局限性。
总体而言，我国既有研究的主要精力集中在民事诉讼实务层面，民事诉讼法教义学意义上的“执行难”研究还有相当的努力空间。在民事诉讼法教义学语境下，“执行难”问题必须被进一步限缩为，被执行人有能力或者部分有能力满足生效裁判文书中记载的请求权，却无法经由强制执行满足申请执行人债权的民事诉讼法律原因及其相应的法律出路。而对这一问题的分析与解决，不应仅仅将目光局限在强制执行程序，而是有必要基于程序之间的牵连性进行全流程的整体观察，对诉讼保全程序、审判程序以及强制执行程序进行一次全面的“健康检查”。
《民事诉讼法》100条和第101条分别规定了诉中和诉前行为保全与财产保全。无论是裁定对财产进行保全，抑或是裁定责令对方当事人作出一定行为或者禁止作出一定行为，都是为了避免生效裁判文书无法执行或难于执行，从而最大限度保障申请人的民事实体权利。可见，《民事诉讼法》100条和第101条本就是在民事诉讼法教义学意义上解决“执行难”的固有制度。不仅如此，这一制度也在“执行难”被提出后不久便进入了决策层的视野，其同样被认为是“用两到三年基本解决执行难”的重要举措。遗憾的是，行为保全和财产保全在实践中的落实并不到位，甚至呈现出“诉前行为保全申请难”和“财产保全制度运行‘低水平’均衡状态”。不过，落实问题其实已经超出了民事诉讼法教义学的能力，而更多进入了民事诉讼实务层面。尽管如此，“申请难”和“低水平”在民事诉讼法教义学看来并非没有进一步努力的空间，其法教义学成因在于对诉权范围的限缩、对程序事项的轻视和对证明标准的误读。
与诉讼保全相比，造成“执行难”的审判程序原因更为复杂和隐秘。总体而言，审判程序和执行程序共同肩负着权利实现的期待和重托。其中，审判程序的中心任务是对民事权利加以认定，而执行程序乃在实现被判定的民法请求权。显然，如果审判程序无法科学合理的认定请求权，必然造成请求权实现的困境。不仅如此，现代民事诉讼还具有独立的程序价值，即通过程序正义吸收当事人的不满，增加生效裁判的可接受度，这同样构成了生效裁判执行力的正当性来源。以上述实体和程序标准为根据，我国审判程序均有较大改进空间。以多数人侵权的民事连带责任诉讼为例，根据《关于审理人身损害赔偿案件适用法律若干问题的解释》5条第1款，原告仅起诉部分共同侵权人时，人民法院应追加其他共同侵权人作为共同被告。在拉入所有共同侵权人后，生效判决书的主文通常记载数名共同侵权人对赔偿权利人的损失承担的责任份额，此外还注明相互承担连带责任。然而，这不仅增加了一审的复杂程度，更会使二审负担加重。根据《最高人民法院关于适用?中华人民共和国民事诉讼法?的解释》第319条，即便只是共同诉讼人之间权利义务分担有意见，而不涉及对方当事人利益，也要将对方当事人依原审诉讼地位列明。这种做法突破了民事诉讼等腰三角形结构：上诉处理的争议并不发生在原被告之间，而只是在共同诉讼人之间。对方当事人在上诉程序中成为了旁观者。不仅如此，在被告为共同诉讼人的情况下，原告的权利并不能在一审后得到最终确认，而不得不等待法院在上诉程序中对被告之间权利义务争议的处理。总体而言，我国民事审判程序未能充分吸收当事人的不满，程序的复杂化反倒可能增加当事人特别是权利人的负面情绪。除了审判程序的复杂化，以纠纷一次性解决为导向的生效判决还会给执行带来困难，即执行的先后以及各被执行人实际被执行的数额。由于被判赔承担赔偿责任的被告有多人，且生效判决明确表明每个人应当承担的赔偿数额，当执行机构要求某被执行人承担超出其份额的损害赔偿时，便可能激起其不满，引起被执行人之间的相互推诿。
其实，在一个审判程序中强制要求赔偿权利人一次性拉入所有侵权行为人并不是《侵权责任法》13条的当然结果。在裁判文书中对赔偿义务人之间的责任比例进行认定，还突破了《民事诉讼法》13条第2款规定的处分原则，因为原告并未起诉要求法官判定赔偿义务人之间的责任份额。如果法院尊重赔偿权利人的选择，虽然理论上有后诉的可能，但却是在充分尊重当事人意愿的同时解决了“执行难”问题：一方面，对当事人选择的尊重充分吸收了其不满情绪；另一方面，由于被执行人只有一人或数人，也相应减轻了执行机构的工作负担。因此，从审判程序出发化解“执行难”的民事诉讼法教义学进路是，在充分尊重原告处分权的前提下，适度实现纠纷的一次性解决，避免其僵化适用所引发的“执行难”。
二、夫妻共同财产“执行难”的民事诉讼法教义学成因
“执行难”的民事诉讼法教义学成因并不局限在强制执行程序，因此，“执行难”在民事诉讼法教义学视角下的最终解决也不应仅仅立足于强制执行程序。这一推论同样适用于夫妻共同财产的“执行难”。除了共通成因，夫妻共同财产“执行难”还有其独特性，这较为集中的体现为夫妻一方为被告时，对夫妻共同财产的执行困境。如若债权人的请求权针对夫妻双方，且夫妻双方均作为被告充分行使了诉讼权利，此时，债权人申请对夫妻共同财产进行强制执行并不存在诉讼法上的障碍，夫妻二人均为被执行人。相反，若法院认定债权人仅对夫妻一方享有债权，或者虽然法院对夫妻共同债务作出了认定，但被告人仅为夫妻一方，此时若要执行夫妻共同财产，就面临债权人实体权利保护和夫妻另一方程序保障之间的紧张关系。当然，必须首先讨论的是，在我国实在法语境下，这一困境究竟是否存在。根据《最高人民法院关于人民法院民事执行中查封、扣押、冻结财产的规定》（以下简称《查扣冻规定》）第14条第1款，对作为被执行人的夫妻一方与另一方的共有财产，人民法院可以查封、扣押、冻结；根据第2款和第3款在析产后对夫妻一方的相应份额进行强制执行。由此看来，上述夫妻共同财产的“执行难”在我国或许并不真实存在。这也是我国现阶段民事诉讼法教义学研究所面临的严峻挑战：在明确的司法解释与较为抽象的民事诉讼基础理论之间应当如何抉择？以明确的司法解释作为主要研究根据，能够最大程度上实现理论与实践的贴合，也更容易获得司法实务部门的认可和接受。然而，这样的做法却可能使我国民事诉讼理论研究与当事人主义的愿景渐行渐远。是故，虽然《查扣冻规定》第14条甚为明确，但不能忽视的是对其进行民事诉讼基础理论框架内的验证与反思。
《查扣冻规定》第14条是否经得起民事诉讼基础理论的检视？即便答案是肯定的，《查扣冻规定》第14条中的共有人是否能够当然包括夫妻？共有财产是否包括全部动产和不动产？上述问题中，前者侧重于诉讼法，后两者侧重于实体法。本文着重于诉讼法层面的分析。作为民事执行法律体系的起点，执行目的被认为是实现内容已经确定的民事权益，也即只有经过权益判定程序确定的义务才能执行，而未经权益判定程序确定的债权不得申请民事执行。从执行目的出发，当债权人仅取得针对夫妻一方的生效给付判决，而对另一方并不存在其他执行依据时，原则上无法针对夫妻另一方申请强制执行。这一基本要求同样贯彻了执行合法原则、执行当事人不平等原则和全面保护当事人合法权益原则。执行合法原则要求，执行活动必须以生效的法律文书为依据。基于执行当事人不平等原则，强制执行程序无法像审判程序一样承担判定当事人之间实体权利义务关系的重任，这也是坚持审执分离原则的根本原因。而全面保护当事人合法权益原则也要求，对申请人的合法权益要保护，但不得超出执行依据所确定的范围。
综上，《查扣冻规定》第14条与民事诉讼基础理论之间存在紧张关系。虽然查封、扣押、冻结的执行措施并未直接处分夫妻共同财产，但上述举措已经构成执行行为，而吊诡的是，夫妻另一方却并非被执行人。这一矛盾的调和与化解是夫妻共同财产“执行难”的中心命题。从逻辑出发，夫妻共同财产“执行难”的解决方案有三：一是为债权人起诉夫妻另一方提供明确的请求权基础，从而能够确保其经由诉讼获得针对夫妻另一方的生效给付判决，进而满足民事诉讼基础理论的要求；二是追加夫妻另一方为被执行人，作为执行合法原则的例外；三是在无执行依据也并未追加夫妻另一方的情况下，径行执行夫妻共同财产中被执行人的份额。仅以民事诉讼法教义学为视角，方案一无疑是最优选择。与方案一相比，方案二部分突破了执行合法原则和审执分离原则，且可能损害夫妻另一方的实体和程序权利。不仅如此，追加夫妻另一方作为被执行人的正当性根据何在？这些都是未尽之问题。也是因为上述顾虑，《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》并未认可对夫妻另一方的追加，方案二并未被最高人民法院采纳。与方案二相比，方案三对基础理论的破坏性更甚：夫妻一方并非被执行人，人民法院却直接对夫妻共同财产进行查封、扣押、冻结，迫使夫妻协议分割财产或提起析产诉讼，并为申请执行人开辟了代位析产诉讼的途径。从举轻以明重的法律解释方法出发，追加夫妻另一方作为被执行人尚且不被最高人民法院承认，根据《查扣冻规定》第14条径行执行夫妻共同财产也就更不具有正当性，因此，方案三同样经不起民事诉讼基础理论的检验。
与方案二和方案三相比，方案一尚未得到足够的论证。债权人是否可能经由诉讼获得对夫妻双方的胜诉给付判决？在哪些情况下，债权人仅获得对夫妻一方的胜诉给付判决便可申请执行夫妻共同财产？上述问题的回答与实体法密切相关。对此，笔者力所不逮。幸运的是，汪洋教授在本期“实体法与程序法交叉研究专栏”中的论文正致力于上述问题的解决。根据责任财产范围的不同，汪洋教授将夫妻债务分为连带债务、共同债务和个人债务三种类型。连带债务的责任基础在于多数人之债，大额债务需要夫妻共同意思表示，小额债务需要满足“家庭日常生活”这一日常家事代理的范畴，责任财产范围包括夫妻双方的个人财产与全部夫妻共同财产。共同债务的责任基础在于夫妻法定共同财产制，为夫妻一方以个人名义所负债务，但应满足为夫妻共同生活或共同生产经营等家庭利益的需要，责任财产范围包括负债方的个人财产与全部夫妻共同财产。其他的夫妻债务为夫妻一方的个人债务，责任财产范围包括负债方的个人财产与负债方在夫妻共同财产中的相应份额。
在此基础上，民事诉讼法教义学上的核心问题在于，债权人在何种情况下可能通过执行夫妻共同财产获得清偿。这同样可以根据汪洋教授提出的三分法加以分类讨论。对于夫妻连带债务，由于夫妻均为债务人，因此，债权人为了能对夫妻共同财产进行强制执行，原则上应将夫妻双方作为共同被告，从而在进入执行程序时将夫妻均置于被执行人的地位。对方案一而言，夫妻共同债务和夫妻一方的个人债务才是痛点和难点。为夫妻共同债务的债权人寻找请求权基础，为夫妻一方的债权人提供对夫妻共同财产的执行可能性，是科学界定和合理解决夫妻共同财产“执行难”的重中之重。
三、夫妻共同财产“执行难”的民事诉讼法教义学出路
债权人何以对夫妻另一方获得胜诉给付判决，将夫妻二人均置于被执行人的地位，进而以夫妻共同财产满足其请求权，这是方案一必须明确的问题。否则，方案二甚至方案三便成为我国解决夫妻共同财产“执行难”不得以而为之的选择。对此，夫妻连带债务的债权人并不存在任何法律障碍，因为夫妻另一方本就是合同相对人。《最高人民法院关于审理涉及夫妻债务纠纷案件适用法律有关问题的解释》（以下简称《夫妻债务解释》）第1条将其归结为“共同意思表示所负的债务”。与夫妻连带债务不同，夫妻共同债务的债权人仅与夫或妻一方签订合同，夫妻另一方并非合同相对人。债权人起诉夫妻另一方时，须有其他请求权基础的支持才能获得胜诉给付判决。通过对《婚姻法》19条第3款进行反对解释，夫妻共同债务的债权人有权要求夫妻双方共同偿还。这一解释结果同样得到了《最高人民法院关于适用?中华人民共和国婚姻法?若干问题的解释（二）》第24条第1款的确认。而在离婚时，根据《婚姻法》41条规定，债权人也得要求夫妻共同偿还为夫妻共同生活所负的债务。综上，夫妻共同债务的债权人同样可以起诉夫妻另一方并获得生效给付判决，进而将夫妻双方均置于被执行人的地位，通过执行夫妻共同财产来满足其债权。这同样是《夫妻债务解释》第2条的解决方案：夫妻一方在婚姻关系存续期间以个人名义为家庭日常生活需要所负的债务，债权人以属于夫妻共同债务为由主张权利的，人民法院应予支持。
我国实体法不仅为夫妻连带债务的债权人提供了请求权基础，其也同样为夫妻共同债务的债权人提供了诉讼解决方案。那么，夫妻个人债务的债权人是否可能获得针对夫妻另一方的胜诉给付判决？对此，《夫妻债务解释》第3条提供了较为明确的答案：夫妻一方在婚姻关系存续期间以个人名义超出家庭日常生活需要所负的债务，债权人以属于夫妻共同债务为由主张权利的，人民法院不予支持。可见，夫妻个人债务的债权人并无法通过方案一执行夫妻共同财产。然而，这是否意味着夫妻个人债务的债权人绝对无法执行夫妻共同财产？答案其实是否定的。根据执行的形式化原则，在扣押动产时，只需根据动产为债务人占有的外观，就可扣押，无须去了解动产是否为债务人本身所有；在查封不动产时，只要不动产登记在被执行人名下，就可查封。如果案外人主张动产为其所有，其只能向法院提起异议之诉。据此，只要夫妻共同财产为夫妻一方所占有或登记在其名下，便可对此进行强制执行，而无须握有对夫妻另一方的胜诉给付判决。值得进一步讨论的是，形式化原则对债权人的保护是否足够？由于夫妻共同生活关系的存在，对动产为夫妻一方所占有的判断通常较为困难。为了保护夫妻一方的债权人，或可参照《德国民事诉讼法》739条，为了夫的债权人和妻的债权人的利益，推定被配偶一方或配偶双方占有的动产属于债务人。据此，握有针对夫妻一方生效给付判决的债权人，可以申请启动针对债务人占有的夫妻共有动产的强制执行，但为夫妻另一方留有案外人执行异议之诉的救济途径。这或许可以作为限缩夫妻共同财产适用《查扣冻规定》第14条的基本思路，也即将查封、扣押、冻结的财产范围限定在夫妻分别占有和共同占有的动产。由于这一问题的回答更多涉及立法论问题，而非民事诉讼法教义学视角下的分析，故不再详细展开。尽管通过解释论中的形式化原则和立法论上的推定规则，可能在最大程度上缓解夫妻共同财产的执行困境，但依旧存在无法执行的可能。对此，是否有必要通过方案二或方案三加以补充？笔者认为，这尚需进行立法论层面的价值判断。立法者确立婚姻共同财产制度的目的，是借此为夫妻共同生活提供物质保障。如果轻易允许夫妻个人债务的债权人执行夫妻共同财产，则势必削弱甚至破坏夫妻共同生活的物质基础。此时，立法者面对的价值判断是债权人民事权利实现和夫妻共同生活之间的平衡。不准许夫妻一方的债权人对夫妻共同财产进行强制执行，同样不失为侧重保障夫妻共同生活关系的价值选择。在夫妻个人债务的强制执行问题上，并非仅有债权实现这一维度，而是面临着更加复杂的价值判断与选择。
结语：回归民事诉讼法教义学的立场
“执行难”在我国的讨论并不完全甚至并不主要是在民事诉讼法教义学的视角下展开的。这有其独特的历史成因。在最高人民法院的积极推动和全社会的共同努力下，造成“执行难”的社会环境问题已经逐步得到解决。在此基础上，民事诉讼法教义学理应从幕后走向台前，真正肩负起应有的责任和使命。以民事诉讼法教义学为视角，“执行难”应该被界定为被执行人有能力或者部分有能力满足生效裁判文书中记载的请求权，其却无法经由强制执行得到满足的法律原因和法律出路。诉讼保全中对诉权范围的限缩、对程序事项的轻视和对证明标准的误读，审判程序中过分强调纠纷一次性解决的倾向以及由此引发的执行复杂化，都是“执行难”的民事诉讼法教义学成因。
在此基础上，夫妻共同财产的“执行难”可被进一步定义为，债权人仅获得针对夫妻一方的生效给付判决与对夫妻共同财产进行强制执行之间的紧张关系。其解决之道并非“执行难”背景下的“乱执行”，而是通过对民事实体法和程序法进行解释以寻找法律解决方案。从逻辑出发，夫妻共同财产“执行难”的解决方案有三：一是为债权人起诉夫妻另一方提供明确的请求权基础，从而能够确保其经由诉讼获得针对夫妻另一方的生效给付判决，进而满足民事诉讼基础理论的要求；二是追加夫妻另一方为被执行人，作为执行合法原则的例外；三是在无执行依据也并未追加夫妻另一方的情况下，径行执行夫妻共同财产中被执行人的份额。方案二和方案三既非唯一出路，也非最优选择。通过明确债权人在夫妻共同债务中的请求权基础，强调夫妻个人债务强制执行中的形式化原则，将能够在充分保障夫妻另一方程序权利的条件下，有限度和有效率的克服夫妻共同财产的“执行难”。上述民事诉讼法教义学的分析结果并非本文的重点。本文的出发点和落脚点在于民事诉讼法教义学本身，也即抛砖引玉，逐步使“执行难”的分析与解决回归民事诉讼法教义学的立场。
欢迎扫码获取法宝介绍和试用
—更多内容—