The notions of a "decidable subset" and "recursively enumerable subset" are basic ones for classical mathematics and classical logic.
Поимите „определиво подмножество“ и „рекурзивно пребројливо подмножесво“ се основни во класичната математика и класичната логика.