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|aksiomat]]) 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.

 

Çdo sistem formal ka një [[gjuha formale|gjuhë formale]] e cila përbëhet nga [[simboli|simbole]] primitive. Këto simbole veprojnë mbi disa rregulla formacioni dhe zhvillohen të derivuar nga një bashkësi [[aksioma|aksiomash]]. Si rrjedhim tërësia e sistemit përbëhet nga një numër i çfarëdoshëm formulash të ndërtuara nëpërmjet një kombinimi të fundëm të simboleve primitivë - kombinime të cilët formohen nga aksiomat në përputhje me rregullat e shprehur prej tyre.