何谓鉴定式？
鉴定式案例分析法又称请求权基础案例分析方法，乃是以请求权基础出发，依照“谁、得向谁、依照何种规范、为达成何种目的的请求权”的范式，对案例进行分析。此种方法具有严密的逻辑外在形式，如同数学公式一般，一旦找到案例中既存的变量便可依程式运算，避免了在分析案例时的天马行空以及请求权的遗漏。
三段论的坐标化 (xyz)
德国人的严谨，以及他们对精密的追求在鉴定式中也表现地淋漓尽致——三段论的座标化。德国人为了让行文符合严密的三段论推理，同时避免行文者迷失在自己的文字中进而丧失逻辑，创造性地将坐标与三段论结合，即三段式的座标划。具体的表述方式如下:
xyz
xyz 中【z】的含义
对于Z而言，其值域为{1，2，3}，与大前提（1）、涵摄过程（2）、结论（3）一一对应
xyz 中【y】的含义
对于y而言，其数值为正整数且无上限，数值对应含义如下：
x1z——请求权基础层面的z（大前提、涵摄过程、结论）
x2z——请求权基础的构成要件层面的z（大前提、涵摄过程、结论）
x3z——请求权基础的构成要件之具体要件层面的z（大前提、涵摄过程、结论）
.........................以此类推
xyz 中【x】的含义
此处的x仅仅记录数量，举例如下：
11y——即第一个请求权基础
21y——即第二个请求权基础
12y——即第一个请求权基础的构成要件
22y——即第二个请求权基础的构成要件
.................以此类推
综上，举一例以明之//// 太懒了，晚点补上😄
文字表述词典
对于本部分，德国人将鉴定式中的每一句话都用模板予以公式化，力求精简明确。通过鉴定式中部分重要文字表述的公式化，有利于排除论述中的逻辑错误。本书中有1/3的篇幅都是在向读者展示公式化的精准的表述方式，德国人的精益求精着实让人惊叹！
