в математичній логіці — метод, що полягає у заміні всіх змістових термінів символами, а всіх змістових тверджень — відповідними їм послідовностями символів або формулами.