Not so fast. There are propositons in arithmetic which are unprovable, Even getting the 3 (or 4) individuals to come up with a common set of boolean propositions is probably difficult, to say the least. Then coming up with a means to prove...
Not so fast. There are propositons in arithmetic which are unprovable, Even getting the 3 (or 4) individuals to come up with a common set of boolean propositions is probably difficult, to say the least. Then coming up with a means to prove...