Mathematical Knowledge is Context Dependent
Benedikt Löwe, Thomas Müller

Abstract: