text: ойтүйін (кейде философияда декларативті сөйлемнің мағынасы болып, мұндағы "мағына" бірдей мағынадағы барлық сөйлемдер бөлісетін бейтілді шындық. эквивалентті түрде, ойтүйін әдетте ақиқат пен сандырақтың бейтілді тасушысы болып, ол оны бейнелеген кез келген сөйлемді рас, не жалған етеді. математикада ойтүйін термині рас, не жалған тұжырымға қатысты болса, ал аксиома термині дискурс шеңберінде рас тұжырымды білдіреді. демек, ойтүйін сөйлемнен және одан туындайтын құрылымдардың модальды және коммуникативтік бәріне ортақ семантикалық инварианты түрі). "ойтүйін" сөзінің негізі болған "пропозиция" сөзі әуелде логика ғылымында пікір, пайымдау дегенді білдірсе, ал лингвистикада сөйлем дегенді білдірген. хіх ғ. аяғы мен хх ғ. басында ойтүйін жаңа мағынаға ие болды: оның көлемі сөйлемнің бір бөлігімен шектеліп, сөйлемнін номинативті, не семантикалық аспектісі ретінде түсіндірілді.