In this episode, Haim Gaifman argues that there are mathematical facts about real, objective, mathematical entities.
