Biçimsel sistem nedir?
Biçimsel sistem yeni teoremler ortaya çıkarmak için kullanılan belit sistemidir. Belitler kümesinin sonlu ya da en azından karar verilebilir olması gerekir. Belirli bir ifadenin belit olup olmadığına mekanik olarak karar vermesini sağlayan etkili bir yöntem gereklidir. Bu anlamda biçimsel sistem oldukça etkilidir.
Biçimsel sistem yeni teoremler ortaya çıkarmak için kullanılan belit sistemidir. Belitler kümesinin sonlu ya da en azından karar verilebilir olması gerekir. Belirli bir ifadenin belit olup olmadığına mekanik olarak karar vermesini sağlayan etkili bir yöntem gereklidir. Bu anlamda biçimsel sistem oldukça etkilidir.