A choice-semantical approach to theoretical truth · Study