それがアホな質問だというのだ
メタ定理やモデルを一切使わない範囲での議論を「形式的な数学の展開」と呼ぶのなら質問の答えは肯定
トートロジーで返答するしかない