テスト駆動論理展開

分析的方法とは、求められるものがあたかもすでに与えられているかのように見なして、この求められているものから出発して、これを可能ならしめる唯一の条件まで遡ることである
カント
プロレゴメナ