Твердомер. Аспектика. От предположений к доказательствам