>>355
ずばり形式的手法の否定では?(w
言い換えれば、メタ形式化だね。