beskonačni broj (HOL)
beskonačni broj. mat Beskonačno veliki pozitivni broj ...
HOL2 HOL
primbroj (HOL)
primbroj (prosti broj), prirodni broj različit od jedinice koji je bez ostatka djeljiv samo sa 1 i sa samim sobom ...
HE HOL2 HOL
upit: beskonačni broj; pronađenih odgovora: 2; vrijeme izvršavanja upita: 269 ms