Mathematical foundations