On: To Settle Infinity Question, a New Law of Mathematics (2013)

[enturn]

If infinity is being boundless then to make anything infinity have the bounds as unknown. A practical use is in Haskell's lazy evaluation. Although maybe I'm missing the point completely.