THE FOUNDATIONS OF MATHEMATICAL BELIEVED: FROM SIMPLE PRINCIPLES TO STATE-OF-THE-ART THEOREMS