Foundations and Mathematical Background