termin:аксиоматика_тфс_симонова