Logika pierwszego rzędu ma wiele pożytecznych własności dedukcyjnych, ale w jej języku nie jest możliwe wyrażenie niektórych ważnych pojęć matematycznych, np...
Logika pierwszego rzędu ma wiele pożytecznych własności dedukcyjnych, ale w jej języku nie jest możliwe wyrażenie niektórych ważnych pojęć matematycznych, np...