漢·楊雄《蜀王傳》:“天為蜀王生五丁力士，得以徙蜀山。沒有五王，要立大石頭。它有三英尺長，壹千磅重。它叫做石牛。壹千個人不能動，壹萬個人也不能動。”《秦紀》說:秦欲伐蜀，刻五，背後鑲金。蜀人見之，以為牛可以大，所以要在金牛之下，要養個小卒，方便他們。蜀王也是這麽想的，就是派了幾千兵，讓五個丁力士把牛拖到路上，送三件到成都。秦刀有道理，石牛之力也。後又遣丞相張儀等，循之路攻蜀。””於是秦王知道蜀王好色，卻向蜀王獻了五個美女，蜀王很愛他，派了五個女人去見他。回到梓潼，看見壹條大蛇進了山的山洞，壹口咬不出尾巴。五咬引蛇出洞，山塌了，壓著五咬，五咬大叫。秦王的五個女兒和迎接她們的人都上山化為石頭。”《華陽國誌·蜀誌》和《水鏡註綿水註》亦有收錄，文略。
解釋用法
傳說古蜀有五個大力士，叫五鼎，能移山。秦惠王欲伐蜀，佯稱能排泄黃金，誘武丁拖石牛回蜀，使山路通達，亦有五女拖蛇。後來，這個代號被用來形容力士；也用來背蜀地、蜀道之事。
古典形式
五唐定杜牧:“初二星將去，五鼎將忙。”唐洛賓王:“五才出眾，四才用文采”懷:“欲窮而危，誰能尋五？”
金牛堂李白:“秦凱蜀道立金牛，漢水童淵劉興漢。”清·李中華:“金牛總為秦人所誤，故不曾使愚公。”
五丁凱羅棠王斌:“劍門起千尺，石路開五鼎。”
武丁鑿關:“腰無二鈸，道有五鑿。”
吳丁醜黃松庭堅:“壹鳥知兔心，萬牛不動吳丁醜。”
開山大俠邱曰:“破敵退第六，開山大俠驅第五。”
五丁力最好的唐元真:“七聖心迷芳娥，五丁力最好的路還窄。”宋·楊儀:“丁力五省通川，成都千古綠。”
五鼎明凱高啟:“誠然五鼎任重道遠，吾以為萬山聚。”
雪崩摧毀了唐李白:"這是壹次地震，有勇敢的人失去了，然後梯子和石棧聯系在壹起。"
秋:“金牛佯悲見蜀，石馬傳文。”
蜀山蛇難拔唐李商隱:“蜀山蛇運到青海，難拔。”