The top documents tagged [propositions of mathematics]