Assertion: logic | /r/MadeOf | no theorems of the form
Facets:
Source sentences:
text: As Martin has proven, this logic contains no theorems of the form A → A.