ω規則

ω規則(ω一rule)。邏輯的一種推演規則.設}_ {+, " ,s,o}.下列的推演規則稱為。規則:對丫中任何公式抓x)，都可由抓0) ,抓1),抓2),"..}推出}/ x抓x).