دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جزبدون خلاصۀ ویرایش |
جز ربات: افزودن he:פורמליזם (מתמטיקה) |
||
خط ۲۵:
[[fr:Système formel]]
[[gd:Siostam foirmeil]]
[[he:פורמליזם (מתמטיקה)]]
[[hu:Logikai kalkulus]]
[[it:Sistema formale]]
|