Assertion: set's number | /r/CapableOf | arise for prime p
Facets:
value: by completing the rational numbers
type: MANNER
Source sentences:
text: For a prime p, the p-adic numbers arise by completing the rational numbers with respect to a different metric.