Inducţie completă (logică)

250 __ $aInducţie completă (logică)
299 __ $aInducţie completă (logică)