Формален систем: Разлика помеѓу преработките
| [непроверена преработка] | [проверена преработка] |
Избришана содржина Додадена содржина
с Робот: Додава he:פורמליזם (מתמטיקה) |
с Bot: Migrating 23 interwiki links, now provided by Wikidata on d:q649732 (translate me) |
||
Ред 115:
[[Категорија:Металогика]]
[[Категорија:Доказна теорија]]
| |||