Kluotyn ituom golvonajom problemom ir ari apakšnūdalis, kas veļteitys matematikys byuteibys saikņu izpietei ar cytom jūmom: logiku, kūpu teoreju (pamatim), ar vysaidu zynuotņu empiriskū matematiku (lītiškū matematiku) i pādejā laikā ari nanūteikteibys styngrai izpietei.