“aksiyomla ilgili olan axiomatically kendiliğinden belli olarak” in English