Assertion: tree | /r/HasProperty | unlabeled
Facets:
Source sentences:
text: In the case where the trees above are taken to be unlabeled (that is, in the case where X {\displaystyle X} has order one), Friedman found that the result was unprovable in ATR 0 , thus giving the first example of a predicative result with a provably impredicative proof.