Towards a post-mathematical topology