the pq-system seems to force us into recognizing that symbols of a formal
system, though initially without meaning, cannot avoid taking on "meaning" of sorts,
at least if an isomorphism is found.
PQ sistemi, biçimsel bir sistemin sembollerinin, başlangıçta anlamsız olsalar bile, en azından bir izomorfizm bulunduğunda, bir tür "anlam" kazanmaktan kaçınamayacaklarını kabul etmemizi zorunlu kılıyor gibi görünüyor.