🌐EnglishEnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTiếng ViệtРусскийالعربيةفارسیไทย한국어中文日本語EntityQ649732· pop 35· linked from 612 articlesformal systemAlso known as logical calculusany well-defined system of abstract thought based on the model of mathematicsAvailable in 34 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةAlbanianAlbanianConnectionsaxiomEntitymathematical logicEntityCategories1st-millennium BC introductions4th century BC in IndiaCleanup tagged articles with a reason field from October 2023Formal languagesFormal logicFormal systemsMetalogicSyntax (logic)