Comments on Prooftextingofficial state media for a secessionist republic of one2024-01-20T23:00:14Zhttps://radgeek.com/gt/2013/08/08/prooftexting/feed/WordPressBy: ?@c5;81;<!--[197,129]-->ukasz Ro?@c5;bc;<!--[197,188]-->ej?@c5;81;ukasz Ro?@c5;bc;ejhttp://radgeek.com/?p=7120#comment-1137512013-08-08T18:57:41Z2013-08-08T18:57:41Z“… while having a finite number of axioms.”

I think G?@c3;b6;del’s Theorem doesn’t require the formal system to have finite number of axioms. As far as I remember it applies to systems for which there is an algorithm that can verify whether any given statement is an axiom or not.