Further many proofs go via constructing models with elements that contain elements with certain types and then using these elements.
Επιπλέον, πολλές αποδείξεις κατασκευάζουν μοντέλα με στοιχεία που περιέχουν στοιχεία συγκεκριμένων τύπων, τα οποία και στη συνέχεια χρησιμοποιούν.