🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsSvenskaРусскийالعربيةไทย中文日本語EntityQ2762418· pop 13· linked from 476 articlesformal proofAlso known as derivation, justification, proof, derivativeestablishment of a theorem using inference from the axiomsAvailable in 11 languagesEspañolFrançaisPortuguêsItalianoالعربيةNederlandsSvenskaUkrainianzh_yueไทยConnectionsformal systemEntitysemantic theory of truthEntityCategoriesFormal languagesFormal systemsLogical truthProof theorySyntax (logic)