Kant'ın metafiziği eleme projesi semantik gelenek tarafından bir adım öteye taşınarak tüm metafiziği felsefe yapmanın zemininden çıkartarak matematiğin önermelerinin ispatının biçimsel bir dizgeler içerisinde verilebilir ...