Episode description

What is mathematics? Does it provide us with "epistemological bedrock" - a finally, once and for all certainly true foundation? 

What does fallibilism say about any of this? Is mathematical knowledge not immune from error?