A Stronger Foundation for Computer Science and P=NP