notes-math-foundations