Talk:Ordinal logic