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