voved vo teorijata na mno@estvata i matemati^kata logika

hipoteza na kontinuum, 5
ideal, 5
identi~na transformacija, 5
implikacija, 5
individualni konstanti, 5
individualni promenlivi, 5
infimum, 5
injekcija, 5
inkluzija, 5
interpretacija, 5
inverzna korespondencija, 5
inverzna polska notacija, 5
inverzna slika, 5
inverzno preslikuvawe, 5
iskaz, 5
iskazen svrznik, 5
iskazna bukva, 5
iskazna formula, 5
iskazna funkcija, 5
isklu~itelna disjunkcija, 5
ispoleneta, 5
izomorfni, 5
jadro na preslikuvawe, 5
kardinalni broevi, 5
klasa ekvivalentni elementi, 5
kodomen, 5
komplement na mno`estvo, 5
kompletna mre`a, 5
kone~no mno`estvo, 5
konjunktivna normalna forma, 5
kontradikcija, 5
kontradiktorna, 5
korespondencija, 5
Lema na Corn, 5
linearno (potpolno) podreduvawe, 5
logi~ka posledica, 5
logi~ki aksiomi, 5
logi~ki ekvivalentni formuli, 5
logi~ki konstanti, 5
logi~ki to~na, 5
majorant, 5
maksimalen element, 5
minimalen element, 5
minorant, 5
112