Versie van 13 jun 2012 19:02 bewerken EmausBot (overleg \| bijdragen) bots, Uitgezonderden van IP-adresblokkades 970.725 bewerkingen k r2.7.3) (Robot: toegevoegd: ky:Аксиоматикалык метод ← Oudere bewerking		Versie van 23 jan 2013 14:40 bewerken ongedaan maken MerlIwBot (overleg \| bijdragen) 379.792 bewerkingen k Robot: toegevoegd: he:פורמליזם (מתמטיקה) Nieuwere bewerking →
Regel 50: [[fr:Système formel]] [[gd:Siostam foirmeil]] [[he:פורמליזם (מתמטיקה)]] [[hu:Logikai kalkulus]] [[it:Sistema formale]]

Formeel systeem: verschil tussen versies