The Mostowski model is constructed within ZF set theory, which itself presupposes classical logic an...