nonfirstorderizability (English, noun)
expansion: nonfirstorderizability (uncountable)
Senses:
topics: mathematics
sciences
glosses: The property of not being able to be formalized in first-order logic.
tags: uncountable
Forms:
form: non-firstorderizability
tags: alternative