型式証明について

型式証明について