Theorems in the foundations of mathematics | HearLore