Corrigendum to: ``The power of temporal proofs''
axiomatic system complete with respect to nonstandard models of FTL
scientific article; zbMATH DE number 4148059