Ο Αριστοτέλης πραγματεύεται διεξοδικά στο Β των Αναλυτικών Υστέρων το πρόβλημα του ορισμού και τη διαφορά του από την απόδειξη. Σε αντίθεση με την απόδειξη, που δηλώνει «ἔστι τόδε κατὰ τοῦδε ἢ οὐκ ἔστιν.», ο ορισμός δηλώνει ...