Что такое язык математической логики?

Что такое язык математической логики?  Это примерно "один плюс один равно два"? Будет ли он понятен инопланетным цивилизациям? Ведь

Язык математической логики имеет строгий синтаксис и семантику. Синтаксис – это порядок слов из определенного множества (словаря). С семантикой еще сложнее…
А что касается 1+1 так это полная загадка:

Также вам будет интересно: От чего зависит количество пятнышек на крыльях Божьих Коровок?

1) = 2 (в десятичной арифметике)
2) = 10 (в двоичной)
3) = 11 или 100 (в исчислении Фибоначчи – это отельный разговор)
Поймут ли инопланетяне фразу “один плюс один равно два” – это зависит от уровня подготовки инопланетян, от их знания чужого словаря и способности понять чужой синтаксис.