You don't grasp. Gödel's incompleteness theorems is not dependent on chosen logic or any set of axioms. It stands in 3-, 4- and N-value logic as well.