Теорія надійності
Теорема надійності (чи повнота) є основним результатом математичної логіки. У них є специфічні семантичні теорії про формальну логіку формальної логіки та форму системи. Є два основних варіанти теореми надійності: слабка надійність і сильна надійність. Значення "сильного" і "слабкого" полягає в тому, що сильна надійність розглядає будь-який набір речень, а один з таких збірок - порожній набір речень, пов'язаних із слабкою надійністю. Більшість, але не всі дедуктивні системи, надійна надійність та слаба надійність є вірними. ...