Assertion: real number | /r/CapableOf | satisfy same sentences
Facets:
value: as the real numbers
type: MANNER
value: in first-order logic
type: OTHER
value: exactly
type: DEGREE
Source sentences:
text: Skolem theorem implies that there exists a countable dense subset of the real numbers satisfying exactly the same sentences in first-order logic as the real numbers themselves.