Funktor nutnosti

Funktor nutnosti je N, []; funktor nutnosti čítame: je nutné, že.

Externé odkazy 
 

Logika