形式:解释论