The conventionalist philosophy of mathematics has been criticized by previous authors on two grounds. First of all, it is claimed to be uninformative: ‘apart from remarkably little’.(Machover, 1983. Page6). The force of this criticism is that to be an adequate philosophy of mathematics, a much more elaborated version of conventionalism is needed.