Strictly speaking, the lines on paper are models of the objects defined within the formal system, rather than instances of those objects.
Іншими словами, лінії на папері є моделями об'єктів, визначених у формальній системі, а не прикладами цих об'єктів.