すなわちzf公理系の他の公理たちから導くことも反証することもできない。