 to conditions \(\phi\) with only internal logical operations. Apparently, Bochvar’s solution is not simply a gap solution, where the logic is weakened; instead, he formalizes the distinction between object level and metalevel in the logic itself. This makes his theory quite expressive (e.g., it can handle the very notion of “non-sensical”, “meaningless”).