Colour exclusion problem and ‘synthetic a priori’ propositions between Tractatus logico-philosophicus and Some Remarks on Logical Form