Ytukyg

1 I have some trouble with popping the back stack when using the navigation library. I have the following flow Secondary Graph FragSecondA -> FragSecondB Main Graph FragMainA -> FragMainB -> FragMainC -> SecondaryGraph I'd like to clear FragMainA, FragMainB, FragMainC from the back stack once I reach FragSecondA. I tried using setting app:popUpTo="@id/fragment_main_c" app:popUpToInclusive="true" on the action that leads to the Secondary Graph. Using the code I mentioned will only pop FragMainC from the back stack leaving me to navigate back to FragMainB. I tried setting app:clearTask=true which gets me the desired result, however this method as deprecated. Does anyone have any suggestions as to how I might fix this issue without having to use the deprecate

2 1 $begingroup$ Warning:I am not competent in the field of logic so my questions may be weird or incorrect. So I heard of infinitary logic. And as I understood it allows for statements of infinite length and proofs of infinite length but with some conditions. And also, as I have heard there can be different types of this logic. So now I have a few questions about it: 1)Can ZFC or PA be both consistent and complete under this logic? 2)Does permission of infinite length sentences and proofs bring some problems? 3)Can any of the types of infinitary logic be considered natural for humans? Thanks in advance. logic share | cite | improve this question asked D