NummSquared 2006A0 Explained, including a new well-founded functional foundation for logic, mathematics and computer science