Both first-order and second-order logic use the idea of a domain of discourse (often called simply the "domain" or the "universe").
Τόσο η πρώτης τάξης λογική όσο και η δεύτερης χρησιμοποιούν την ιδέα του πεδίου αναφοράς (domain of discourse, συχνά λέγεται απλά "πεδίο" ή "σύμπαν").