Let in mathematics doesn't really work that way. It's more general. "Let <boolean expression>" means that the world gets set up so that the boolean expression

Let in mathematics doesn't really work that way. It's more general. "Let <boolean expression>" means that the world gets set up so that the boolean expression is true. Examples: Let x=4 Let epsilon>0 Let a in A There's very interesting work on providing an iteration construct like this in a programming language. http://www.cs.cornell.edu/Projects/jmatch/ http://www.cs.cornell.edu/Projects/jmatch/