Формалізація

переведення змістового знання і природно-мовного контексту на штучну, логічну мову, у формалізовану теорію (числення)