én úgy tudom, hogy a törvényekre igaz, hogy kozisztencs, a peano axióma megáll benne és gödel-kódjai rekurzívan felsorolható halmazt alkotnak. így igaz rá a gödel féle második nemteljességi tétel. azaz mindig lesz benne eldönthetetlen állítás.