Assertion: solvability | /r/Desires | at most a weak form of ac
Facets:
Source sentences:
text: We then show that ZF proves solvability of trees and that solvability of forests requires at most a weak form of AC.