>「形式化」の過程で
>そもそも含んでいたかも知れない「GAP」が埋められることもあるかも知れません
形式化でGAPが見つかることはあっても埋まることは無いだろう