強制執行法規定的異議之訴，究為訴訟法上的形成之訴；或實體法上的確認之訴

答案：兩者都有，在訴之聲明(應受判決事項之聲明)，兩樣都寫，既寫確認債權不存在〈我沒有欠你錢〉，也寫，執行程序應予撤銷〈既我沒有欠你錢，那不應該再由執行處來向我繼續執行〉

舉個例，人家寫的訴之聲明(應受判決事項之聲明)，這原告兩樣都有寫，他寫

⒈確認系爭不動產擔保債權總金額120萬元之抵押權所擔保之債權不存在。⒉被告應將系爭抵押權登記予以塗銷。⒊本院109年度司執字第xxxx號拍賣抵押物強制執行事件（下稱系爭執行事件）對系爭不動產所為之執行程序，應予撤銷。