Assertion: gauss's friend | /r/HasProperty | farkas wolfgang bolyai
Facets:
Source sentences:
text: His friend Farkas Wolfgang Bolyai[?] had tried in vain for many years to prove the parallel postulate from Euclid's other axioms of geometry and failed.