Unter Logik versteht man wesentlich: nicht ein Axiomsystem weil eben nichts auf Annahmen basieren soll. Oder: es sollte nicht beides: logische Axiome & logische Schlußweisen geben.