Mathematics

• Transfinity, stream, and recursion