A Stronger Foundation for Computer Science and P=NP
arxiv.org