On an Axiomatic System of the Infinitely Many‐Valued Threshold Predicate Calculi