Foundation of the Theory of Groupoids and Groups