FILIT
Obsah
Chronológia
Registre
Diskusia
Správa
Zoznam A
A = a
A = A
- v
tradičnej logike
: symbolický spôsob
zápisu
pre
zásadu totoľnosti
.