The term 'obstruction' is unclear when it comes to topology in mathematics. However, when applied to proof space, an obstruction can mean having two different ways of proving something in different fields of mathematics.