არითმეტიზაცია
NPLG Wiki Dictionaries გვერდიდან
არითმეტიზაცია – მეთოდი, რომელიც გამოყენებულია მათემატიკურ ლოგიკაში რომელიმე ლოგიკურ – მათემატიკური ენის გამონათქვამის შესახებ მსჯელობის შესაცვლელად ნატურალურ რიცხვებზე მსჯელობით.