Sistemi formal: Dallime mes rishikimesh

Në [[logjika formale|logjikën formale]] kur flitet për një '''sistem formal''' (njihet dhe si '''analiza logjike''') kuptohet përdorimi i një [[gjuha formale|gjuhe formale]] dhe i një bashkësie [[rregull inference|rregullash inference]] apo rregullash derivimi, që përdoren për të derivuar (ose mbërritur në) një shprehje duke u nisur nga një apo më tepër kushtë fillestare. Këto kushte fillestare mund të jenë hipotetike të mirepranuara ([[aksioma|akiomataksiomat]]) apo të derivuara ([[teorema|teoremat]]). Ky mekanizëm mund të quhet një [[aparati deduktiv|aparat deduktiv]]. Një sistem formal mund të formulohet dhe studiohet për vetitë e tij karakteristike, ose mund të shërbejë si një përshkrim (psh një [[modeli|model]]) për dukuri të jashtme.