Transfiniittinen induktio

Tranfiniittinen induktio on matematiikan todistusmenetelmä, jolla tavallista induktiota laajennetaan luonnollisten lukujen joukosta kaikkiin hyvinjärjestettyihin joukkoihin.

Matemaattinen logiikka