Formální teorie: Porovnání verzí
Smazaný obsah Přidaný obsah
m Odstranění linku na rozcestník Rovnost s použitím robota - Změněn(y) odkaz(y) na rovnost (matematika) |
m Robot: úpravy šablony portálu Matematika |
||
Řádek 15:
== Související články ==
{{Portál
* [[Matematický důkaz#Formální důkaz|Důkaz]]
* [[Model (logika)|Model]]
|