Assertion: impossibility | /r/HasProperty | demonstrated
Facets:
Source sentences:
text: Gauss, Bolyai, Lobachevsky, and Riemann, that the impossibility of deducing the parallel axiom from the others was demonstrated.