en paris harrington theorem (n)
― HasContext ⟶
Weight: 1.0
en mathematical logic Source: English Wiktionary