The categoricity problem and truth-value gaps · Study