In can be remarked that all three schools’ attempts also fail to provide a foundation for the full range of would-be mathematical truths by these means. For as Godel’s first Incompleteness theorem shows, proof is not adequate to demonstrate all truths. Thus there are truths of mathematics not captured by the systems of these schools.