notes-math-foundations--index