more....
<mathematics> Induction over some (typically large) ordinal.
(1995-03-30)
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)