全合成
形式全合成(formal synthesis)は、目的とする最終産物の合成ではなく、文献に記載された最終産物の既知の前駆体の合成である。文献からBがCへの変換できることが知られているならば、化合物Aから化合物Bへの新規経路はAもまたCへと到達できることの形式的証明となる。