Is it provable that a system of Logic is consistent iff there is a true formula of the system that cannot be proved in the system? If yes please provide a reference.
This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.
I have to make it known to mainstream scientists.
Do you not realise that they have better things to do?
You call it junk because you can't follow it.
Therefore it isn't an axiom. Call it whatever you like, but you'll confuse yourself if you misuse a technical term.
Is this New Logic Usefull?
2 months on, nobody has suggested a use for it.