Project

Informal provability in mathematics as a partial notion.